Profiles › full › universe

Universe 43c0735da737

23 packages in this universe.

Package
apron.v0.9.15
batteries.3.11.0
bigarray-compat.1.1.0
camlidl.1.13-1
camlp-streams.5.0.1
cmdliner.2.1.1
conf-gmp-paths.1
conf-mpfr-paths.1
dune.3.24.2
ez-conf-lib.2
jasmin.2023.06.4
menhir.20260209
menhirCST.20260209
menhirGLR.20260209
menhirLib.20260209
menhirSdk.20260209
mlgmpidl.1.3.0
num.1.6
ocaml-compiler.5.5.1
ocamlbuild.0.16.1
ocamlfind.1.9.9~preview
yojson.3.0.0
zarith.1.14