diff --git a/nix/default.nix b/nix/default.nix
index 8de62f24877c6abe11bb7ca174d895cf82e9007a..58620fae9ee75310c67269daa0698c401740adf1 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -9,7 +9,7 @@ let mk_buildInputs = { opamPackages ? [], nixPackages ? [] } :
                 { name = "why3-coq" ; constraint = "=1.3.1"; }
                 { name = "menhir"; constraint = "=20190924"; }
                 { name = "dune"; constraint = "=1.11.4"; }
-                "camlzip" #so that why3 is always compiled with it
+                { name = "camlzip"; constraint = "=1.07"; }  #so that why3 is always compiled with it
                 ] ++ opamPackages
               );
            ocamlAttr = ocaml_version;