Fix that adding alt-ergo change dependencies

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;