...
 
Commits (1)
......@@ -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=""
......