-
platform Public
Forked from rocq-prover/platformMulti platform setup for Coq, Coq libraries and tools
Shell Creative Commons Zero v1.0 Universal UpdatedDec 18, 2025 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedNov 20, 2025 -
opam Public
Forked from rocq-prover/opamArchive for all Rocq and Coq-related opam packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedOct 30, 2025 -
{{ message }}