OCamlPro/opam-repository — pull request #593 by claudemarche (2013-04-03 14:46:04+00:00)
Title: fixed description of why3 0.81

make only one-line description