GitHub repository: rocq-prover/opam
Primary language: OCaml
Description: Archive for all Rocq and Coq-related opam packages organized in various repositories