[isabelle-dev] OCaml 4.06.0 drops nums.cma

Lars Hupel hupel at in.tum.de
Thu Mar 21 16:02:00 CET 2019

>   * Update to OPAM 2.0.3: this is the latest version, and the one that
> the current Cygwin 3.0.4 provides.

This broke idempotency (or maybe something else?):

+ bin/isabelle ocaml_setup
[ERROR] There already is an installed switch named 

More information about the isabelle-dev mailing list