* 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 ocaml-base-compiler.4.05.0
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
