Profiles › full › universe

Universe 93d143f93f18

13 packages in this universe.

Package
coq-core.9.0.1
coq-stdlib.9.0.0
coq-waterproof.3.1.0+9.0
coq.9.0.1
coqide-server.9.0.1
dune.3.23.1
ocaml-compiler.5.4.1
ocamlfind.1.9.8
rocq-core.9.0.1
rocq-prover.9.0.0
rocq-runtime.9.0.1
rocq-stdlib.9.0.0
zarith.1.14