lib/Tools/ocaml_setup_base
Wed, 15 Jan 2025 15:13:39 +0100 wenzelm provide less ambitious "isabelle ocaml_setup_base", notably for platforms without gmp-dev;
less more (0) tip