oasis2opam 0.3.4
Merge pull request #1105 from Chris00/master

oasis2opam 0.3.4
bencode reader/writer 0.1
oasis2opam 0.3.5
lbfgs 0.8.5
Merge pull request #1107 from rgrinberg/master

bencode reader/writer 0.1
benchmark 1.3
camomile 0.8.5
Merge pull request #1109 from camlunity/master

camomile 0.8.5
fix checksum
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