Releases around AbsInt/CompCert v2.7.1 on GitHub

Maybe you can find something interesting in this list
gems
ridgepole on Ruby Gems 0.6.5.beta9
github
swift/swift on GitHub swift-4.0beta1
gnome-gitlab
GNOME/evolution on GNOME GitLab EVOLUTION_3_21_4
npm
tns-core-modules on Node.js NPM 2.2.0-2016-07-18-3700
github
h2oai/h2o-3 on GitHub jenkins-master-3553
bitbucket
atlassian/atlassian-connect-spring-boot on Bitbucket atlassian-connect-spring-boot-1.0.0-beta-3
sourceforge
git-osx-installer on SourceForge git-2.9.2-intel-universal-mavericks.dmg
github
freeplane/freeplane on GitHub release-1.5.13-pre01

Don't miss a new release

NewReleases is sending notifications on new releases.