From 88ebb63ba8c1cef03b8dd5834e519a9345e7ca6f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Sun, 3 May 2020 00:25:08 +0200
Subject: [PATCH] Fix dune version to 1.11
---
nix/default.nix | 1 +
1 file changed, 1 insertion(+)
diff --git a/nix/default.nix b/nix/default.nix
index 7ab90dd0f76..bc1cea99791 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -8,6 +8,7 @@ let mk_buildInputs = { opamPackages ? [], nixPackages ? [] } :
{ name = "why3" ; constraint = "=1.3.1"; }
{ 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
] ++ opamPackages
);
--
GitLab