Commit 03f9cb74 authored by MARCHE Claude's avatar MARCHE Claude

nightly bench: support Coq 8.8.2

parent 4ff8a6ac
......@@ -33,3 +33,12 @@ policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "@COQVER@"
[uninstalled_prover coq882]
name = "Coq"
version = "8.8.2"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "@COQVER@"
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