Releases around formal-land/coq-of-ocaml 1.2.0 on GitHub

Maybe you can find something interesting in this list
github
openedx/edx-platform on GitHub release-2017-08-21-12.06
github
greenplum-db/gpdb on GitHub 5.0.0-beta.8
github
vim/vim on GitHub v8.0.0960
github
AndBible/and-bible on GitHub build-02.09.03
github
spring-projects/sts4 on GitHub V_0.0.9-RC.4 V_0.0.9
github
vim/vim on GitHub v8.0.0959
github
sqlite/sqlite on GitHub version-3.19.4
github
tursodatabase/libsql on GitHub version-3.19.4
github
libsql/libsql on GitHub version-3.19.4

Don't miss a new release

NewReleases is sending notifications on new releases.