From 014e8c47db81f715c73f7578d42c97d57bdeb663 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 2 Oct 2020 10:45:47 +0200
Subject: [PATCH] [nix] fix opam version for dune and camlzip
---
nix/default.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index 5a1a62002a8..103f20d0a72 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -8,8 +8,8 @@ let mk_buildInputs = { opamPackages ? [], nixPackages ? [] } :
{ name = "why3" ; constraint = "=1.3.3"; }
{ name = "why3-coq" ; constraint = "=1.3.3"; }
{ name = "menhir"; constraint = "=20200624"; }
- { name = "dune"; constraint = "=1.11.4"; }
- { name = "camlzip"; constraint = "=1.07"; } #so that why3 is always compiled with it
+ { name = "dune"; constraint = "=2.7.1"; }
+ { name = "camlzip"; constraint = "=1.10"; } #so that why3 is always compiled with it
] ++ opamPackages
);
ocamlAttr = ocaml_version;
--
GitLab