Commit a78e112c authored by Guillaume Melquiond's avatar Guillaume Melquiond

Use Coq 8.7.2 to check proofs on CI.

parent 9a77f4ff
......@@ -7,6 +7,15 @@ target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.2.0"
[uninstalled_prover coq_8_7_1]
name = "Coq"
version = "8.7.1"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "8.7.2"
[uninstalled_prover cvc3_2_2]
name = "CVC3"
version = "2.2"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment