+Mindstorm 0.5.4
+oasis2opam 0.5.0
+Mindstorm 0.5.4 with typos corrected (opam version 1.2)
Make oasis2opam compatible with OCaml 3.12
qcheck 0.3
Merge pull request #3057 from c-cube/qcheck-0.3

qcheck 0.3
Merge pull request #3058 from rgrinberg/master

cohttp 0.12.0 compatible opium
Merge pull request #3051 from Chris00/master

+Mindstorm 0.5.4 & oasis2opam 0.5.0