Releases around coq/coq V8.18+rc1 on GitHub

Maybe you can find something interesting in this list
github
coq/coq on GitHub V8.18+rc1
quay
stackrox-io/main on Quay 4.1.x-632-g6c88e3c83e-amd64
npm
drizzle-kit on Node.js NPM 0.19.13-a511135
github
podman-desktop/podman-desktop on GitHub v0.0.202308031148-219e71f
github
wavebox/waveboxapp on GitHub v10.115.27-beta
github
podman-desktop/podman-desktop on GitHub v0.0.202308031146-ed2dc88
github
openjdk/jdk21u on GitHub jdk-21.0.1+5
npm
drizzle-kit on Node.js NPM 0.19.13-ad1f24b
quay
stackrox-io/main on Quay 4.1.x-631-gf0a32e7af0
dockerhub
jitsi/jvb on Docker Hub jvb-2.3-34-g44a05334-1
github
pergolafabio/Hikvision-Addons on GitHub doorbell-v3.0.0-beta.28
github
nymtech/nym on GitHub noise-poc
quay
stackrox-io/main on Quay 4.1.x-631-gf0a32e7af0-ppc64le

Don't miss a new release

NewReleases is sending notifications on new releases.