repology.org
domain is back up, repology.amdmi3.ru will be discontinued on October 9th
Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Badges
Report
Information for
coq
Versions
8.5-scm
scm
8.5-p2
Package names
coq
Repositories
Exherbo
Categories
dev-lang
Summaries
A proof assistant
Maintainers
fallback-mnt-exherbo@repology
Homepage links
http://coq.inria.fr/
All package recipes
https://github.com/Exherbo/ocaml-unofficial/blob/master/packages/dev-lang/coq/coq-8.5-p2.exheres-0
https://github.com/Exherbo/ocaml-unofficial/blob/master/packages/dev-lang/coq/coq-8.5-scm.exheres-0
https://github.com/Exherbo/ocaml-unofficial/blob/master/packages/dev-lang/coq/coq-scm.exheres-0
Downloads
https://coq.inria.fr/distrib/V8.5pl2/files/coq-8.5pl2.tar.gz