Profiles › full › universe

Universe 4b9b520b1ddf

12 packages in this universe.

Package
coq-core.9.1.1
coq-stdlib.9.0.0
coq-waterproof.3.1.0+9.1
coq.9.1.1
coqide-server.9.1.1
dune.3.23.1
ocaml-compiler.5.5.1
ocamlfind.1.9.9~preview
rocq-core.9.1.1
rocq-runtime.9.1.1
rocq-stdlib.9.0.0
zarith.1.14