OCamlPro/opam-repository — pull request #607 by bobot (2013-04-05 14:03:41+00:00)
Title: [Why3] Fix OCamlPro/opam#577

configure.in was patched instead of configure so autoconf was needed.