OCamlPro/opam-repository — pull request #565 by claudemarche (2013-03-28 13:11:29+00:00)
Title: Request for package "why 2.32"

I request to add a package for the new version 2.32 of Why. I copied the files from the package of the version 2.31, but made a few in order to force dependencies on Why3, Frama-C, Coq and Alt-Ergo. This is because the main purpose of the Why distribution is the distribution of the krakatoa and jessie front-end respectively for Java and C. There is no point to use why without Why3, Frama-C and at elast one automatic prover (alt-ergo) and one interactive one (Coq).

I'm afraid the the file "files/why.install" is far from complete: it should list the jessie plugin for Frama-C (Jessie.cmo and Jessie.cmxs) and the Coq librairies. I'm afraid I am too much a beginner in opam to make it correct.