ocaml/opam-repository — pull request #2595 by claudemarche (2014-09-02 12:49:33+00:00)
Title: new package why3 0.84

These are the files for a new version of the Why3 package, 0.84