Releases around coq-community/paramcoq v1.1.1+coq8.9 on GitHub

Maybe you can find something interesting in this list
github
vladmihalcea/hypersistence-utils on GitHub hibernate-types-parent-2.4.1
dockerhub
sismics/docs on Docker Hub travis-491 c6eb1c81
github
isc-projects/kea on GitHub 429-Updated-StampedValue-to-support-reals_base

Don't miss a new release

NewReleases is sending notifications on new releases.