From 7ade3ce7724729bd469cbdf2370145c082ea04a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 7 May 2020 07:49:47 +0200
Subject: [PATCH] [nix] upgrade to coq 8.11.1
---
nix/default.nix | 2 +-
src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index b75d189f7cb..380a343f990 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -4,7 +4,7 @@
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.10.2"; }
+ { name = "coq"; constraint = "=8.11.1"; }
{ name = "why3" ; constraint = "=1.3.1"; }
{ name = "why3-coq" ; constraint = "=1.3.1"; }
{ name = "menhir"; constraint = "=20190924"; }
diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle b/src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle
index 3093a1ab121..d915bad48f5 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle
@@ -3,5 +3,5 @@ WP Requirements for Qualif Tests (3)
----------------------------------------------------------
1. The Alt-Ergo theorem prover, version 2.3.0
2. The Why3 platform, version 1.3.1
-3. The Coq Proof Assistant, version 8.11.0
+3. The Coq Proof Assistant, version 8.11.1
----------------------------------------------------------
--
GitLab