Description
Attempt to update the existing Coq package to a recent version of Rocq.
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 |
|---|---|---|
Fedora 43
|
x86_64 (25)* | Fedora 43 (44 downloads) |
|
Fedora rawhide
|
aarch64 (0)*, ppc64le (0)*, s390x (0)*, x86_64 (124)* | Fedora rawhide (43 downloads) |
* Total number of downloaded packages.
Quick Enable
#> dnf copr enable dvraaij/rocq
More info about enabling Copr repositories