[isabelle-dev] OCaml 4.06.0 drops nums.cma

Lars Hupel hupel at in.tum.de
Thu Mar 21 16:26:38 CET 2019

> 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.

More information about the isabelle-dev mailing list