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 d1903f4234f1308657d5768f5132525318f1bb6d..8262db901edcbcaff5e750ec62f8b2abc6e3b159 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
 ----------------------------------------------------------