Releases around coq/coq V8.4pl4 on GitHub

Maybe you can find something interesting in this list
github
coq/coq on GitHub V8.4pl4
github
gitlabhq/omnibus-gitlab on GitHub 6.8.0-ee.omnibus.1
github
gitlabhq/omnibus-gitlab on GitHub 6.8.0-ee.omnibus
github
freenginx/nginx on GitHub release-1.7.0 release-1.6.0
npm
file-type on Node.js NPM 0.1.1 0.1.0

Don't miss a new release

NewReleases is sending notifications on new releases.