| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
Coq is a proof assistant which: - allows to handle calculus assertions, - check mechanically proofs of these assertions, - helps to find formal proofs, - extracts a certified program from the constructive proof of its formal specification.
| Package | Summary | Distribution | Download |
| coq-8.19.1-1.3.x86_64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Tumbleweed for x86_64 | coq-8.19.1-1.3.x86_64.rpm |
| coq-8.19.1-1.2.aarch64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Tumbleweed for aarch64 | coq-8.19.1-1.2.aarch64.rpm |
| coq-8.19.1-1.2.armv6hl.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Tumbleweed for armv6hl | coq-8.19.1-1.2.armv6hl.rpm |
| coq-8.19.1-1.2.armv7hl.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Tumbleweed for armv7hl | coq-8.19.1-1.2.armv7hl.rpm |
| coq-8.19.1-1.2.riscv64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Tumbleweed for riscv64 | coq-8.19.1-1.2.riscv64.rpm |
| coq-8.19.1-1.2.s390x.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Tumbleweed for s390x | coq-8.19.1-1.2.s390x.rpm |
| coq-8.19.1-1.1.i586.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Tumbleweed for i586 | coq-8.19.1-1.1.i586.rpm |
| coq-8.19.1-1.1.ppc64le.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Tumbleweed for ppc64le | coq-8.19.1-1.1.ppc64le.rpm |
| coq-8.19.1-bp156.1.8.aarch64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.6 for aarch64 | coq-8.19.1-bp156.1.8.aarch64.rpm |
| coq-8.19.1-bp156.1.8.ppc64le.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.6 for ppc64le | coq-8.19.1-bp156.1.8.ppc64le.rpm |
| coq-8.19.1-bp156.1.8.s390x.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.6 for s390x | coq-8.19.1-bp156.1.8.s390x.rpm |
| coq-8.19.1-bp156.1.8.x86_64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.6 for x86_64 | coq-8.19.1-bp156.1.8.x86_64.rpm |
| coq-8.18.0-4.fc40.aarch64.html | Proof management system | Fedora Rawhide for aarch64 | coq-8.18.0-4.fc40.aarch64.rpm |
| coq-8.18.0-4.fc40.aarch64.html | Proof management system | Fedora 40 for aarch64 | coq-8.18.0-4.fc40.aarch64.rpm |
| coq-8.18.0-4.fc40.s390x.html | Proof management system | Fedora Rawhide for s390x | coq-8.18.0-4.fc40.s390x.rpm |
| coq-8.18.0-4.fc40.s390x.html | Proof management system | Fedora 40 for s390x | coq-8.18.0-4.fc40.s390x.rpm |
| coq-8.18.0-4.fc40.x86_64.html | Proof management system | Fedora Rawhide for x86_64 | coq-8.18.0-4.fc40.x86_64.rpm |
| coq-8.18.0-4.fc40.x86_64.html | Proof management system | Fedora 40 for x86_64 | coq-8.18.0-4.fc40.x86_64.rpm |
| coq-8.18.0-1.fc39.aarch64.html | Proof management system | Fedora 39 updates for aarch64 | coq-8.18.0-1.fc39.aarch64.rpm |
| coq-8.18.0-1.fc39.x86_64.html | Proof management system | Fedora 39 updates for x86_64 | coq-8.18.0-1.fc39.x86_64.rpm |
| coq-8.17.1-5.fc39.aarch64.html | Proof management system | Fedora 39 for aarch64 | coq-8.17.1-5.fc39.aarch64.rpm |
| coq-8.17.1-5.fc39.x86_64.html | Proof management system | Fedora 39 for x86_64 | coq-8.17.1-5.fc39.x86_64.rpm |
| 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.13.2-bp155.2.13.aarch64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.5 for aarch64 | coq-8.13.2-bp155.2.13.aarch64.rpm |
| coq-8.13.2-bp155.2.13.ppc64le.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.5 for ppc64le | coq-8.13.2-bp155.2.13.ppc64le.rpm |
| coq-8.13.2-bp155.2.13.s390x.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.5 for s390x | coq-8.13.2-bp155.2.13.s390x.rpm |
| coq-8.13.2-bp155.2.13.x86_64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.5 for x86_64 | coq-8.13.2-bp155.2.13.x86_64.rpm |
| coq-8.13.2-bp155.2.1.armv7hl.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Leap 15.5 for armv7hl | coq-8.13.2-bp155.2.1.armv7hl.rpm |
| coq-8.13.2-bp154.1.44.aarch64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.4 for aarch64 | coq-8.13.2-bp154.1.44.aarch64.rpm |
| coq-8.13.2-bp154.1.44.ppc64le.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.4 for ppc64le | coq-8.13.2-bp154.1.44.ppc64le.rpm |
| coq-8.13.2-bp154.1.44.s390x.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.4 for s390x | coq-8.13.2-bp154.1.44.s390x.rpm |
| coq-8.13.2-bp154.1.44.x86_64.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Leap 15.4 for x86_64 | coq-8.13.2-bp154.1.44.x86_64.rpm |
| coq-8.13.2-bp154.1.1.armv7hl.html | Proof Assistant based on the Calculus of Inductive Constructions | OpenSuSE Ports Leap 15.4 for armv7hl | coq-8.13.2-bp154.1.1.armv7hl.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 |
Generated by rpm2html 1.6