ocaml/opam-repository — pull request #2010 by jpdeplaix (2014-05-06 12:12:28+00:00)
Title: Fix and update why3

The archives of Why3 doesn't seems to be available anymore at http://why3.lri.fr/download/ and there was a new release.

@bobot: I removed your Makefile patch for the 0.83, I hope it's fine.