Releases around AbsInt/CompCert v1.10 on GitHub

Maybe you can find something interesting in this list
github
cms-sw/cmssw on GitHub CMSSW_4_2_8_SLHCtk_patch1 CMSSW_4_2_8_SLHC2_patch1
github
EGroupware/egroupware on GitHub Stylite-EPL-11.1.20120312
github
belaban/JGroups on GitHub JGroups_3_0_7_Final
github
FarGroup/FarManager on GitHub builds/3.0.2539
sourceforge
skim-app on SourceForge Skim/Skim-1.3.20/ReadMe-1.3.20.txt Skim/Skim-1.3.20/Skim-1.3.20.dmg
github
codership/mysql-wsrep on GitHub clone-mysql-5.5.20-ndb-7.2.5-src-build clone-mysql-5.1.61-ndb-7.1.20-src-build
github
codership/mysql-wsrep on GitHub clone-mysql-5.1.61-ndb-7.0.20-src-build
sourceforge
soplanning on SourceForge soplanning/v1.20/soplanning-1-20.zip

Don't miss a new release

NewReleases is sending notifications on new releases.