Package | Summary | Distribution | Download |
coq-doc-8.19.1-1.3.noarch.html | Documentation for coq | OpenSuSE Tumbleweed for noarch | coq-doc-8.19.1-1.3.noarch.rpm |
coq-doc-8.19.1-1.2.noarch.html | Documentation for coq | OpenSuSE Ports Tumbleweed for noarch | coq-doc-8.19.1-1.2.noarch.rpm |
| Documentation for coq | | coq-doc-8.19.1-1.1.noarch.rpm |
coq-doc-8.19.1-bp156.1.9.noarch.html | Documentation for coq | OpenSuSE Leap 15.6 for noarch | coq-doc-8.19.1-bp156.1.9.noarch.rpm |
coq-doc-8.16.1-1.mga9.noarch.html | Documentation for coq | Mageia Cauldron for armv7hl | coq-doc-8.16.1-1.mga9.noarch.rpm |
coq-doc-8.16.1-1.mga9.noarch.html | Documentation for coq | Mageia Cauldron for x86_64 | coq-doc-8.16.1-1.mga9.noarch.rpm |
coq-doc-8.16.1-1.mga9.noarch.html | Documentation for coq | Mageia Cauldron for aarch64 | coq-doc-8.16.1-1.mga9.noarch.rpm |
coq-doc-8.16.1-1.mga9.noarch.html | Documentation for coq | Mageia 9 for i586 | coq-doc-8.16.1-1.mga9.noarch.rpm |
coq-doc-8.16.1-1.mga9.noarch.html | Documentation for coq | Mageia 9 for armv7hl | coq-doc-8.16.1-1.mga9.noarch.rpm |
coq-doc-8.16.1-1.mga9.noarch.html | Documentation for coq | Mageia 9 for x86_64 | coq-doc-8.16.1-1.mga9.noarch.rpm |
coq-doc-8.16.1-1.mga9.noarch.html | Documentation for coq | Mageia 9 for aarch64 | coq-doc-8.16.1-1.mga9.noarch.rpm |
coq-doc-8.16.1-1.mga9.noarch.html | Documentation for coq | Mageia Cauldron for i686 | coq-doc-8.16.1-1.mga9.noarch.rpm |
coq-doc-8.16.0-1.fc37.noarch.html | Documentation for Coq proof management system | Fedora 37 for x86_64 | coq-doc-8.16.0-1.fc37.noarch.rpm |
coq-doc-8.16.0-1.fc37.noarch.html | Documentation for Coq proof management system | Fedora 37 for aarch64 | coq-doc-8.16.0-1.fc37.noarch.rpm |
coq-doc-8.16.0-1.fc37.noarch.html | Documentation for Coq proof management system | Fedora 37 for ppc64le | coq-doc-8.16.0-1.fc37.noarch.rpm |
coq-doc-8.16.0-1.fc37.noarch.html | Documentation for Coq proof management system | Fedora 37 for s390x | coq-doc-8.16.0-1.fc37.noarch.rpm |
coq-doc-8.13.2-bp155.2.13.aarch64.html | Documentation for coq | OpenSuSE Leap 15.5 for aarch64 | coq-doc-8.13.2-bp155.2.13.aarch64.rpm |
coq-doc-8.13.2-bp155.2.13.ppc64le.html | Documentation for coq | OpenSuSE Leap 15.5 for ppc64le | coq-doc-8.13.2-bp155.2.13.ppc64le.rpm |
coq-doc-8.13.2-bp155.2.13.s390x.html | Documentation for coq | OpenSuSE Leap 15.5 for s390x | coq-doc-8.13.2-bp155.2.13.s390x.rpm |
coq-doc-8.13.2-bp155.2.13.x86_64.html | Documentation for coq | OpenSuSE Leap 15.5 for x86_64 | coq-doc-8.13.2-bp155.2.13.x86_64.rpm |
coq-doc-8.13.2-bp155.2.1.armv7hl.html | Documentation for coq | OpenSuSE Ports Leap 15.5 for armv7hl | coq-doc-8.13.2-bp155.2.1.armv7hl.rpm |
coq-doc-8.13.2-bp154.1.44.aarch64.html | Documentation for coq | OpenSuSE Leap 15.4 for aarch64 | coq-doc-8.13.2-bp154.1.44.aarch64.rpm |
coq-doc-8.13.2-bp154.1.44.ppc64le.html | Documentation for coq | OpenSuSE Leap 15.4 for ppc64le | coq-doc-8.13.2-bp154.1.44.ppc64le.rpm |
coq-doc-8.13.2-bp154.1.44.s390x.html | Documentation for coq | OpenSuSE Leap 15.4 for s390x | coq-doc-8.13.2-bp154.1.44.s390x.rpm |
coq-doc-8.13.2-bp154.1.44.x86_64.html | Documentation for coq | OpenSuSE Leap 15.4 for x86_64 | coq-doc-8.13.2-bp154.1.44.x86_64.rpm |
coq-doc-8.13.2-bp154.1.1.armv7hl.html | Documentation for coq | OpenSuSE Ports Leap 15.4 for armv7hl | coq-doc-8.13.2-bp154.1.1.armv7hl.rpm |
coq-doc-8.11.0-4.mga8.noarch.html | Documentation for coq | Mageia 8 for aarch64 | coq-doc-8.11.0-4.mga8.noarch.rpm |
coq-doc-8.11.0-4.mga8.noarch.html | Documentation for coq | Mageia 8 for x86_64 | coq-doc-8.11.0-4.mga8.noarch.rpm |
coq-doc-8.11.0-4.mga8.noarch.html | Documentation for coq | Mageia 8 for armv7hl | coq-doc-8.11.0-4.mga8.noarch.rpm |
coq-doc-8.11.0-4.mga8.noarch.html | Documentation for coq | Mageia 8 for i586 | coq-doc-8.11.0-4.mga8.noarch.rpm |