Hopefully that is sufficient. OPAM is overall a bit fragile: some Coq guys have told me that they regret depending on it.
We'll have to see. The current situation is that I temporarily have no access to the build machines, so the build will have to stay red for a while, much to the disadvantage of people who rely on it.
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
