opam: allow Why3 1.7.x

EasyCrypt · Nov 30, 2023 · 27edb8a · 27edb8a
1 parent d9d7bcf
commit 27edb8a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -21,7 +21,7 @@
   dune-site
   (ocaml-inifiles (>= 1.2))
   (pcre (>= 7))
-  (why3 (and (>= 1.6.0) (< 1.7)))
+  (why3 (and (>= 1.6.0) (< 1.8)))
   yojson
   (zarith (>= 1.10))
 ))
diff --git a/easycrypt.opam b/easycrypt.opam
@@ -9,7 +9,7 @@ depends: [
   "dune-site"
   "ocaml-inifiles" {>= "1.2"}
   "pcre" {>= "7"}
-  "why3" {>= "1.6.0" & < "1.7"}
+  "why3" {>= "1.6.0" & < "1.8"}
   "yojson"
   "zarith" {>= "1.10"}
   "odoc" {with-doc}