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