From 77cc50e990d72446994a9e9372e5ae94db83f7a2 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Mon, 27 Sep 2021 13:53:44 +0200 Subject: [PATCH] [wp-qualif] Default is now Coq 8.13 --- src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 d1903f4234f..8262db901ed 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.2.0 2. The Why3 platform, version 1.4.0 -3. The Coq Proof Assistant, version 8.12.0 +3. The Coq Proof Assistant, version 8.13.0 ---------------------------------------------------------- -- GitLab