Releases around OpenJML/OpenJML 0.8.18 on GitHub

OpenJML/OpenJML on GitHub 0.8.18

mono/monodevelop on GitHub monodevelop-7.1.0.1272

org.apache.maven.plugins:maven-enforcer-plugin on Java Maven 3.0.0-M1

apache/maven-enforcer on GitHub enforcer-3.0.0-M1

webpack-contrib/html-loader on GitHub v0.5.0

html-loader on Node.js Yarn 0.5.0

GoogleChrome/workbox on GitHub v1.2.0

erlang on Docker Hub 19.3.6.1-slim 19.3.6.1 20.0.1-alpine 20.0.1-slim 20.0.1

snowflake-connector-python on Python PyPI 1.4.1

snowflakedb/snowflake-connector-python on GitHub v1.4.1

graphile/crystal on GitHub v0.0.1-alpha11.1

ipfs/ipfs-companion on GitHub v2.0.8

google-cloud-vision on Python PyPI 0.25.1

github/SoftU2F on GitHub 0.0.11

softwaremill/sttp on GitHub v0.0.3

OData/odata.net on GitHub 6.18.0-beta

workbox-webpack-plugin on Node.js NPM 1.2.0

workbox-precaching on Node.js NPM 1.2.0

rollup-plugin-babel on Node.js NPM 3.0.0-alpha.17

pyca/cryptography on GitHub 2.0.1

shoelace-style/shoelace on GitHub 1.0.0-beta2

express-rate-limit on Node.js NPM 2.9.0

AASHE/iss on GitHub v2.5.3

shoelace-style/shoelace on GitHub 1.0.0-beta1

eed3si9n/sbt on GitHub v0.13.16

paolorovella/react on GitHub 16.0.0-beta.1

vim/vim on GitHub v8.0.0778

web3 on Python PyPI 3.11.0