diff --git a/caisar.opam b/caisar.opam
index 98018a4e6b8c8c79e256f3123d057dfef5179cb9..95e3d04a3add2d52576492bea48e7bda41db7c0c 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -27,7 +27,7 @@ depends: [
   "yojson" {>= "1.7.0"}
   "menhirLib" {>= "20210310"}
   "csv" {>= "2.4"}
-  "why3" {>= "1.6.0"}
+  "why3" {= "1.6.0"}
   "re" {>= "1.10.4"}
   "fpath" {>= "0.7.3"}
   "yaml" {>= "3.1.0"}
diff --git a/dune-project b/dune-project
index 1c4f8609b1ab9c7f4e20e4c95fc230f9896b9a42..69a82eab7771bf3df95077f4b70c6d63cf0e9547 100644
--- a/dune-project
+++ b/dune-project
@@ -35,7 +35,7 @@
    (yojson (>= 1.7.0))
    (menhirLib (>= 20210310))
    (csv (>= 2.4))
-   (why3 (>= 1.6.0))
+   (why3 (= 1.6.0))
    (re (>= 1.10.4))
    (fpath (>= 0.7.3))
    (yaml (>= 3.1.0))