PackagesCoq/Rocq is a proof assistant written in O'Caml
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| dev-lang/ocaml | |||||
| dev-ml/camlzip | |||||
| dev-ml/dune | |||||
| dev-ml/findlib | |||||
| dev-ml/lablgtk | |||||
| dev-ml/lablgtk-sourceview | |||||
| dev-ml/num | |||||
| dev-ml/ounit2 | |||||
| dev-ml/yojson | |||||
| dev-ml/zarith | |||||
| sci-mathematics/coq-stdlib |
| Version | RDEPEND | DEPEND | BDEPEND | IDEPEND | PDEPEND |
|---|---|---|---|---|---|
| dev-lang/ocaml | |||||
| dev-ml/camlzip | |||||
| dev-ml/dune | |||||
| dev-ml/findlib | |||||
| dev-ml/lablgtk | |||||
| dev-ml/lablgtk-sourceview | |||||
| dev-ml/num | |||||
| dev-ml/ounit2 | |||||
| dev-ml/zarith | |||||
| sci-mathematics/coq-stdlib |