Profiles › full › universe

Universe 3762c0cec23d

14 packages in this universe.

Package
base-domains.base
cmdliner.1.3.0
dune.3.23.1
fmt.0.11.0
ocaml-compiler.5.3.0
ocamlbuild.0.16.1
ocamlfind.1.9.8
ortac-runtime-qcheck-stm.0.7.1
ortac-runtime.0.7.1
qcheck-core.0.91
qcheck-multicoretests-util.0.10
qcheck-stm.0.10
topkg.1.1.1
zarith.1.14