Commit d497f2c0 authored by Ralf Jung's avatar Ralf Jung

manually upgrade Coq

parent 6a4b9f6b
......@@ -96,6 +96,8 @@ if ! opam upgrade -y --all build-dep/; then
exit 1
fi
echo
# opam is entirely unfit for this purpose and fails to update Coq. Do it manually.
opam upgrade coq -y
# done
echo_color "$BOLDGREEN" "[prepare-opam] Done! Coq version we are going to use:"
......
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