Description
An attempt at building Coq for EPEL
Installation Instructions
Instructions not filled in by author. Author knows what to do. Everybody else should avoid this repo.
Active Releases
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
| Release | Architectures | Repo Download |
|---|---|---|
EPEL 7
|
x86_64 (7876)* | EPEL 7 (226 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable codeblock/coq-epel
More info about enabling Copr repositories