Commit c6c904ae authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Merge branch 'bugfix/v0.88' into next

parents 3dc6ea99 8af739ca
......@@ -104,6 +104,15 @@ target_name = "Coq"
target_version = "$COQVER"
version = "8.6"
[uninstalled_prover coq861]
alternative = ""
name = "Coq"
policy = "upgrade"
target_alternative = ""
target_name = "Coq"
target_version = "$COQVER"
version = "8.6.1"
EOF
fi
......
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