+Mindstorm 0.5.4

On Wed, 12 Nov 2014 23:43:56 -0800, Peter Zotov wrote:
> 
> In packages/mindstorm/mindstorm.0.5.4/opam:
> 
> > @@ -0,0 +1,33 @@
> > +opam-version: "1"
> > +name: "mindstorm"
> > +version: "0.5.4"
> > +maintainer: "Christophe.Troestler@umons.ac.be"
> > +authors: [ "Christophe Troestler"
> > +           "Julie De Pril"
> > +           "Marc Ducobu"
> > +           "Dany Maslowski" ]
> > +# license: "LGPL-2.1 with OCaml linking exception"
> 
> Gracefully degraded.

OK, so I will push a version using 1.2