core 109.41.00-rc1
core 109.41.00-rc2
core 109.42.00-rc1
core 109.42.00
More Fedora fixes
Don't change the checksum of ancient's archive
oasis2opam 0.3.5
lbfgs 0.8.5
benchmark 1.3
Merge pull request #1110 from camlunity/master

fix checksum for camomile 0.8.5
omd 0.5.5
Merge pull request #1113 from pw374/master

omd 0.5.5
update description of Alt-Ergo
update install script of Alt-Ergo
update (un)install info of Alt-Ergo
Merge pull request #1114 from iguer/master

Update alt-ergo.0.95.1 description & install files
added ocamlfind as a dependency to bencode0.1
Merge pull request #1115 from rgrinberg/master

added ocamlfind as a dependency to bencode0.1
Merge pull request #1108 from Chris00/master

oasis2opam 0.3.5
Merge pull request #1103 from dsheets/master

More Fedora fixes