diff --git a/dune-project b/dune-project
index 70d8d35658..69b48bb937 100644
--- 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
index ad0bd0da2e..9af04487d7 100644
--- 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}