Releases around coq/coq V8.0pl4 on GitHub

Maybe you can find something interesting in this list
github
coq/coq on GitHub V8.0pl4 V8.0-APP V8-0pl3 V8-0pl2 V8-0pl1 V8-0cdrom V8-0beta V8-0 V7-4 V7-3-1 V7-3 V7-2 V7-1 V7-0beta4 V7-0beta3-ocaml3-01 V7-0beta2 V7-0beta V7-0
sourceforge
gnucash on SourceForge gnucash (unstable)/2.5.8/gnucash-2.5.8-setup.exe gnucash (unstable)/2.5.8/Gnucash-PPC-2.5.8-1.dmg gnucash (unstable)/2.5.8/Gnucash-Intel-2.5.8-1.dmg

Don't miss a new release

NewReleases is sending notifications on new releases.