Profiles › full › universe

Universe efd22a45ade8

23 packages in this universe.

Package
csexp.1.5.2
dune-configurator.3.23.1
dune-private-libs.3.23.1
dune.3.23.1
dyn.3.23.1
fs-io.3.23.1
menhir.20260209
menhirCST.20260209
menhirGLR.20260209
menhirLib.20260209
menhirSdk.20260209
ocaml-compiler.5.5.0
ocamlfind.1.9.8
ordering.3.23.1
pp.2.0.0
stdune.3.23.1
terminal_size.0.2.0
top-closure.3.23.1
why3.1.8.2
why3find.1.1.1
yojson.3.0.0
zarith.1.14
zmq.5.3.0