Profiles › full › universe

Universe 40f14c1052a6

29 packages in this universe.

Package
batteries.3.3.0
cppo.1.8.0
csexp.1.5.2
dune-private-libs.3.22.2
dune.3.23.1
dyn.3.22.2
fs-io.3.22.2
goblint-cil.1.8.2
goblint.1.1.1
num.1.6
ocaml-base-compiler.4.12.1
ocaml-compiler-libs.v0.12.4
ocaml-monadic.0.5
ocamlbuild.0.16.1
ocamlfind.1.9.6
ordering.3.22.2
pp.2.0.0
ppx_derivers.1.2.1
ppx_deriving.6.0.3
ppx_deriving_yojson.3.9.1
ppxlib.0.35.0
qcheck-core.0.91
sexplib0.v0.16.0
sha.1.15.4
stdlib-shims.0.3.0
stdune.3.22.2
top-closure.3.22.2
yojson.3.0.0
zarith.1.14