ocaml/opam-repository — pull request #2710 by claudemarche (2014-09-17 09:25:36+00:00)
Title: new package version why3 0.85

A new version of why3, version 0.85, is released. This is mainly a bug-fix version w.r.t to version 0.84,
released only 2 weeks ago.

- Claude