Package | Summary | Distribution | Download |
coq-8.17.1-1.fc38.aarch64.html | Proof management system | Fedora 38 updates for aarch64 | coq-8.17.1-1.fc38.aarch64.rpm |
coq-8.17.1-1.fc38.x86_64.html | Proof management system | Fedora 38 updates for x86_64 | coq-8.17.1-1.fc38.x86_64.rpm |
coq-8.16.1-3.fc38.aarch64.html | Proof management system | Fedora 38 for aarch64 | coq-8.16.1-3.fc38.aarch64.rpm |
coq-8.16.1-3.fc38.ppc64le.html | Proof management system | Fedora 38 for ppc64le | coq-8.16.1-3.fc38.ppc64le.rpm |
coq-8.16.1-3.fc38.s390x.html | Proof management system | Fedora 38 for s390x | coq-8.16.1-3.fc38.s390x.rpm |
coq-8.16.1-3.fc38.x86_64.html | Proof management system | Fedora 38 for x86_64 | coq-8.16.1-3.fc38.x86_64.rpm |
coq-8.16.1-1.fc37.aarch64.html | Proof management system | Fedora 37 updates for aarch64 | coq-8.16.1-1.fc37.aarch64.rpm |
coq-8.16.1-1.fc37.x86_64.html | Proof management system | Fedora 37 updates for x86_64 | coq-8.16.1-1.fc37.x86_64.rpm |
coq-8.16.1-1.mga9.aarch64.html | The Coq Proof Assistant | Mageia Cauldron for aarch64 | coq-8.16.1-1.mga9.aarch64.rpm |
coq-8.16.1-1.mga9.aarch64.html | The Coq Proof Assistant | Mageia 9 for aarch64 | coq-8.16.1-1.mga9.aarch64.rpm |
coq-8.16.1-1.mga9.armv7hl.html | The Coq Proof Assistant | Mageia Cauldron for armv7hl | coq-8.16.1-1.mga9.armv7hl.rpm |
coq-8.16.1-1.mga9.armv7hl.html | The Coq Proof Assistant | Mageia 9 for armv7hl | coq-8.16.1-1.mga9.armv7hl.rpm |
coq-8.16.1-1.mga9.i586.html | The Coq Proof Assistant | Mageia 9 for i586 | coq-8.16.1-1.mga9.i586.rpm |
coq-8.16.1-1.mga9.i586.html | The Coq Proof Assistant | Mageia Cauldron for i686 | coq-8.16.1-1.mga9.i586.rpm |
coq-8.16.1-1.mga9.x86_64.html | The Coq Proof Assistant | Mageia Cauldron for x86_64 | coq-8.16.1-1.mga9.x86_64.rpm |
coq-8.16.1-1.mga9.x86_64.html | The Coq Proof Assistant | Mageia 9 for x86_64 | coq-8.16.1-1.mga9.x86_64.rpm |
coq-8.16.0-1.fc37.aarch64.html | Proof management system | Fedora 37 for aarch64 | coq-8.16.0-1.fc37.aarch64.rpm |
coq-8.16.0-1.fc37.ppc64le.html | Proof management system | Fedora 37 for ppc64le | coq-8.16.0-1.fc37.ppc64le.rpm |
coq-8.16.0-1.fc37.s390x.html | Proof management system | Fedora 37 for s390x | coq-8.16.0-1.fc37.s390x.rpm |
coq-8.16.0-1.fc37.x86_64.html | Proof management system | Fedora 37 for x86_64 | coq-8.16.0-1.fc37.x86_64.rpm |
coq-8.11.0-4.mga8.aarch64.html | The Coq Proof Assistant | Mageia 8 for aarch64 | coq-8.11.0-4.mga8.aarch64.rpm |
coq-8.11.0-4.mga8.armv7hl.html | The Coq Proof Assistant | Mageia 8 for armv7hl | coq-8.11.0-4.mga8.armv7hl.rpm |
coq-8.11.0-4.mga8.i586.html | The Coq Proof Assistant | Mageia 8 for i586 | coq-8.11.0-4.mga8.i586.rpm |
coq-8.11.0-4.mga8.x86_64.html | The Coq Proof Assistant | Mageia 8 for x86_64 | coq-8.11.0-4.mga8.x86_64.rpm |