From 0e27ad1018db04301150b51496b1be6ab5c0cf9d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Fri, 1 May 2020 23:07:24 +0200
Subject: [PATCH] test with new coq and why3 version
---
nix/default.nix | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index 70a2da5967b..fc58e24cf49 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -4,10 +4,10 @@
let mk_buildInputs = { opamPackages ? [], nixPackages ? [] } :
[ pkgs.gnugrep pkgs.gnused pkgs.autoconf pkgs.gnumake pkgs.gcc pkgs.ncurses pkgs.time pkgs.python3 pkgs.perl pkgs.file] ++ nixPackages ++ opam2nix.build {
specs = opam2nix.toSpecs ([ "ocamlfind" "zarith" "ocamlgraph" "yojson"
- { name = "coq"; constraint = "=8.9.1"; }
- { name = "why3" ; constraint = "=1.2.1"; }
- { name = "why3-coq" ; constraint = "=1.2.1"; }
- { name = "menhir"; constraint = "=20190924"; }
+ { name = "coq"; constraint = "=8.11.0"; }
+ { name = "why3" ; constraint = "=1.3.1"; }
+ { name = "why3-coq" ; constraint = "=1.3.1"; }
+ { name = "menhir"; constraint = "=20200211"; }
"camlzip" #so that why3 is always compiled with it
] ++ opamPackages
);
--
GitLab