OCamlPro/opam-repository — pull request #583 by claudemarche (2013-04-02 15:52:38+00:00)
Title: Updated package for why 2.31, why 2.32 and why3 0.81

A few improvements in these packages, including a small one for why3, agreed by Francois Bobot

These have been tested successfully