Commit 23193751 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update opam packages.

parent c0aa0779
......@@ -8,7 +8,7 @@ bug fixes
o fixed OCaml extraction with respect to ghost parameters
o assorted bug fixes
Provers
provers
o support for Alt-Ergo 1.30 (released Nov 21, 2016)
o support for Coq 8.6 (released Dec 8, 2016)
o support for Gappa 1.3 (released Jul 20, 2016)
......@@ -16,7 +16,6 @@ Provers
o support for Isabelle 2016-1 (released Dec 2016)
o support for Z3 4.5.0 (released Nov 8, 2016)
Version 0.87.2, September 1, 2016
=================================
......
archive: "https://gforge.inria.fr/frs/download.php/file/36133/why3-0.87.2.tar.gz"
checksum: "9849179d6f02587a8fa3d1b6afa13479"
archive: "https://gforge.inria.fr/frs/download.php/file/36398/why3-0.87.3.tar.gz"
checksum: "ea24a4877ca09e2ec4fff19d5f4d35c6"
......@@ -21,7 +21,7 @@ tags: [
]
available: [ ocaml-version >= "4.01.0" ]
depends: [
"why3-base" { = "0.87.2" }
"why3-base" { = "0.87.3" }
"lablgtk"
"conf-gtksourceview"
"zarith"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment