Package | Summary | Distribution | Download |
coq-coqide-8.18.0-4.fc40.aarch64.html | Coqide IDE for Coq proof management system | Fedora Rawhide for aarch64 | coq-coqide-8.18.0-4.fc40.aarch64.rpm |
coq-coqide-8.18.0-4.fc40.aarch64.html | Coqide IDE for Coq proof management system | Fedora 40 for aarch64 | coq-coqide-8.18.0-4.fc40.aarch64.rpm |
coq-coqide-8.18.0-1.fc39.aarch64.html | Coqide IDE for Coq proof management system | Fedora 39 updates for aarch64 | coq-coqide-8.18.0-1.fc39.aarch64.rpm |
coq-coqide-8.17.1-5.fc39.aarch64.html | Coqide IDE for Coq proof management system | Fedora 39 for aarch64 | coq-coqide-8.17.1-5.fc39.aarch64.rpm |
coq-coqide-8.17.1-1.fc38.aarch64.html | Coqide IDE for Coq proof management system | Fedora 38 updates for aarch64 | coq-coqide-8.17.1-1.fc38.aarch64.rpm |
coq-coqide-8.16.1-3.fc38.aarch64.html | Coqide IDE for Coq proof management system | Fedora 38 for aarch64 | coq-coqide-8.16.1-3.fc38.aarch64.rpm |
coq-coqide-8.16.1-1.fc37.aarch64.html | Coqide IDE for Coq proof management system | Fedora 37 updates for aarch64 | coq-coqide-8.16.1-1.fc37.aarch64.rpm |
coq-coqide-8.16.0-1.fc37.aarch64.html | Coqide IDE for Coq proof management system | Fedora 37 for aarch64 | coq-coqide-8.16.0-1.fc37.aarch64.rpm |