Releases around coq/coq V8.8.1 on GitHub

Maybe you can find something interesting in this list
github
facebook/proxygen on GitHub v2018.07.09.00
bitbucket
atlassian/aui on Bitbucket @atlassian/adg-server-iconfont@3.0.0
github
h2oai/h2o-3 on GitHub jenkins-master-4351

Don't miss a new release

NewReleases is sending notifications on new releases.