coq packages - Repology

repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Badges Report

3 package(s) known

Exherbo
^{ocaml-unofficial}

dev-lang/coq

8.5-scm

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Link(s):

Exherbo
^{ocaml-unofficial}

dev-lang/coq

scm

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Link(s):

Exherbo
^{ocaml-unofficial}

dev-lang/coq

8.5-p2

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Link(s):