+oasis2opam 0.5.0
+Mindstorm 0.5.4 with typos corrected (opam version 1.2)