Console Output

+ bin/isabelle ocaml_setup

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-base-compiler.4.12.0] downloaded from cache at https://opam.ocaml.org/cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed base-bigarray.base
∗ installed base-threads.base
∗ installed base-unix.base
∗ installed ocaml-options-vanilla.1
∗ installed ocaml-base-compiler.4.12.0
∗ installed ocaml-config.2
∗ installed ocaml.4.12.0
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
  ∗ install ocamlfind 1.9.1 [required by zarith]
  ∗ install conf-gmp  3     [required by zarith]
  ∗ install zarith    1.12
===== ∗ 3 =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocamlfind.1.9.1] found in cache
[zarith.1.12] found in cache

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
∗ installed conf-gmp.3
∗ installed ocamlfind.1.9.1
∗ installed zarith.1.12
Done.
# Run eval $(opam env) to update the current shell environment