From 1fa2413c51e21f18a7fc7c5f52bf3b1ba6b7e463 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Sat, 9 May 2020 01:04:19 +0200
Subject: [PATCH] Fix that adding alt-ergo change dependencies
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 8de62f24877..58620fae9ee 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;
--
GitLab