Commit 4d2ea96a authored by Ralf Jung's avatar Ralf Jung

debug

parent d27b6051
......@@ -66,6 +66,10 @@ for PACKAGE in $(opam pin | cut -d '.' -f 1); do
opam pin remove -y -n "$PACKAGE"
done
## For debugging and fun, uninstall Coq
opam uninstall coq -y -vvv
exit 1
# Pin fixed versions of some dependencies.
status "[prepare-opam] Processing pins"
PINNED_PACKAGES=""
......
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