Releases around coq/coq V8.12.2 on GitHub

Maybe you can find something interesting in this list
github
coq/coq on GitHub V8.12.2
npm
@redwoodjs/core on Node.js NPM 0.21.1-canary.22
github
AdoptOpenJDK/openjdk8-binaries on GitHub jdk8u-2020-12-11-10-26
dockerhub
weblate/weblate on Docker Hub bleeding-2020-12-11-ea64585211832de4cea3717ec0aeb27bc4cdd894
github
JetBrains/kotlin on GitHub build-1.5.0-dev-450
dockerhub
bitnami/consul on Docker Hub 1.9.1-debian-10-r0
github
dcloudio/uni-app on GitHub v2.0.0-alpha-29920201211002
npm
graphql-cli on Node.js NPM 4.1.1-alpha-7538bee.0
dockerhub
diyhue/core on Docker Hub armv6-322 armv6-master-f7d0112d69df449ce26d64cc4bd34d3b31793a45
dockerhub
diyhue/core on Docker Hub arm64-master-f7d0112d69df449ce26d64cc4bd34d3b31793a45 amd64-master-f7d0112d69df449ce26d64cc4bd34d3b31793a45 armv7-master-f7d0112d69df449ce26d64cc4bd34d3b31793a45
dockerhub
diyhue/core on Docker Hub 322 master-f7d0112d69df449ce26d64cc4bd34d3b31793a45 amd64-322 armv7-322 arm64-322
debian-gitlab
kernel-team/linux on Debian GitLab debian/5.10_rc7-1_exp1

Don't miss a new release

NewReleases is sending notifications on new releases.