Releases around coq/coq V8.5pl2 on GitHub

Maybe you can find something interesting in this list
github
coq/coq on GitHub V8.5pl2
dockerhub
jenkinsci/blueocean on Docker Hub 1.1.7-8ba0aec044d8
github
mapsme/omim on GitHub py-modules-0.2.4
github
HypothesisWorks/hypothesis on GitHub hypothesis-python-3.18.5 3.18.5
quay
prometheus/prometheus on Quay v2.0.0-beta.2
github
FarGroup/FarManager on GitHub builds/3.0.5011

Don't miss a new release

NewReleases is sending notifications on new releases.