Commit 15cd0092 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update opam files.

parent 92d99e5e
......@@ -21,7 +21,7 @@ tags: [
"automated theorem prover"
"interactive theorem prover"
]
available: [ ocaml-version >= "4.01.0" ]
available: [ ocaml-version >= "4.02.3" ]
# Jessie3 (frama-c plugin) is *disabled* because it is not ready
build: [
......
archive: "https://gforge.inria.fr/frs/download.php/file/36398/why3-0.87.3.tar.gz"
checksum: "ea24a4877ca09e2ec4fff19d5f4d35c6"
archive: "https://gforge.inria.fr/frs/download.php/file/37147/why3-0.88.0.tar.gz"
checksum: "1aef885ff8eee34107585e11db623a8d"
......@@ -19,15 +19,18 @@ tags: [
"automated theorem prover"
"interactive theorem prover"
]
available: [ ocaml-version >= "4.01.0" ]
available: [ ocaml-version >= "4.02.3" ]
depends: [
"why3-base" { = "0.87.3" }
"why3-base" { = "0.88.0" }
"lablgtk"
"conf-gtksourceview"
"zarith"
"camlzip"
"ocamlgraph"
]
depopts: [
"coq"
]
messages:[
"Coq realizations of Why3 theories are only available if Coq is installed" { !coq:installed }
]
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