repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th
3 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
|
Exherbo ocaml-unofficial |
dev-lang/coq | 8.5-scm | dev-lang | fallback-mnt-exherbo@repology |
|
Exherbo ocaml-unofficial |
dev-lang/coq | scm | dev-lang | fallback-mnt-exherbo@repology |
|
Exherbo ocaml-unofficial |
dev-lang/coq | 8.5-p2 | dev-lang | fallback-mnt-exherbo@repology |