+ bin/isabelle ocaml_setup # Run eval $(opam env) to update the current shell environment [NOTE] Package zarith is already installed (current version is 1.12).