Commit 28fe8606 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update opam package

parent f8f4c779
archive: "https://gforge.inria.fr/frs/download.php/file/35537/why3-0.86.3.tar.gz"
checksum: "910d5acca0082e94b8a86baf01600e03"
archive: "https://gforge.inria.fr/frs/download.php/file/35643/why3-0.87.0.tar.gz"
checksum: "e587a45b94201de16529a15c72b978df"
......@@ -19,7 +19,7 @@ tags: [
]
available: [ ocaml-version >= "4.01.0" ]
depends: [
"why3-base" { = "0.86.3" }
"why3-base" { = "0.87.0" }
"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