OCamlPro/opam-repository — pull request #671 by backtracking (2013-04-25 11:20:54+00:00)
Title: new version of Alt-Ergo

this is version 0.95.1
(note that we removed most patches, since Alt-Ergo 0.95.1 now uses ocamlfind if present)