Add package for the newest version of Why3

packages/why3.0.80/descr

@@ -0,0 +1,6 @@
+Next generation of the Why software verification platform
+Why3 clearly separates the purely logical specification part from
+generation of verification conditions for programs. It features a rich
+library of proof task transformations that can be chained to produce a
+suitable input for a large set of theorem provers, including SMT
+solvers, TPTP provers, as well as interactive proof assistants.

packages/why3.0.80/files/why3.install

@@ -0,0 +1,11 @@
+bin: [
+  "bin/why3session.opt" {"why3session"}
+  "bin/why3replayer.opt" {"why3replayer"}
+  "?bin/why3ml.opt" {"why3ml"}
+  "?bin/why3ide.opt" {"why3ide"}
+  "bin/why3doc.opt" {"why3doc"}
+  "bin/why3config.opt" {"why3config"}
+  "bin/why3bench.opt" {"why3bench"}
+  "bin/why3-cpulimit"
+  "bin/why3.opt" {"why3"}
+]

packages/why3.0.80/opam

@@ -0,0 +1,14 @@
+opam-version: "1"
+maintainer: "contact@ocamlpro.com"
+build: [
+  ["./configure" "--prefix" "%{prefix}%" "--sbindir=%{lib}%/why3/sbin" "--libexecdir=%{lib}%/why3/libexec" "--sysconfdir=%{lib}%/why3/etc" "--sharedstatedir=%{lib}%/why3/com" "--localstatedir=%{lib}%/why3/var" "--libdir=%{lib}%/why3/lib" "--includedir=%{lib}%/why3/include" "--datarootdir=%{lib}%/why3/share"]
+  [make]
+  [make "install"]
+]
+depends: [
+  "ocamlgraph" {= "1.8.2"}
+  "coq" {= "8.3"}
+  "alt-ergo"
+  "sqlite3-ocaml"
+]
+depopts: ["lablgtk"]

packages/why3.0.80/url

@@ -0,0 +1,2 @@
+archive: "https://gforge.inria.fr/frs/download.php/31724/why3-0.80.tar.gz"
+checksum: "4b50adf812a34879be92f27f25be7ec9"