| Repository |
Package name |
Version |
Category |
Maintainer(s) |
Alpine Linux Edge
testing |
coq |
8.18.0 |
- |
info@mobile-stream.com |
Alpine Linux Edge
testing |
coq-doc |
8.18.0 |
- |
info@mobile-stream.com |
Arch
extra |
coqide |
8.16.1 |
- |
- |
Arch
extra |
coq |
8.16.1 |
- |
- |
Arch
extra |
coq-doc |
8.16.1 |
- |
- |
Arch Linux 32 i686
extra |
coq |
8.16.1 |
- |
- |
Arch Linux 32 i686
extra |
coq-doc |
8.16.1 |
- |
- |
Arch Linux 32 i686
extra |
coqide |
8.16.1 |
- |
- |
Arch Linux 32 pentium4
extra |
coqide |
8.16.1 |
- |
- |
Arch Linux 32 pentium4
extra |
coq-doc |
8.16.1 |
- |
- |
Arch Linux 32 pentium4
extra |
coq |
8.16.1 |
- |
- |
Arch Linux ARM aarch64
community |
coq-doc |
8.16.1 |
- |
- |
Arch Linux ARM aarch64
community |
coq |
8.16.1 |
- |
- |
Arch Linux ARM aarch64
community |
coqide |
8.16.1 |
- |
- |
Arch Linux ARM aarch64
extra |
coq |
8.16.1 |
- |
- |
Arch Linux ARM aarch64
extra |
coq-doc |
8.16.1 |
- |
- |
Arch Linux ARM aarch64
extra |
coqide |
8.16.1 |
- |
- |
|
Chocolatey |
The Coq proof assistant |
8.13.1 |
- |
- |
Debian 10
buster/main |
coq |
8.9.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org |
Debian 11
bullseye/main |
coq |
8.12.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Debian 12
bookworm/main |
coq |
8.16.1 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Debian 13
trixie/main |
coq |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Debian Unstable
sid/main |
coq |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Deepin
main |
coq |
8.9.0 |
- |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org |
Devuan 3.0
beowulf/main |
coq |
8.9.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org |
Devuan 4.0
chimaera/main |
coq |
8.12.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Devuan Unstable
unstable/main |
coq |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Exherbo
ocaml-unofficial |
dev-lang/coq |
8.5-scm |
dev-lang |
fallback-mnt-exherbo@repology |
Exherbo
ocaml-unofficial |
dev-lang/coq |
scm |
dev-lang |
fallback-mnt-exherbo@repology |
Exherbo
ocaml-unofficial |
dev-lang/coq |
8.5-p2 |
dev-lang |
fallback-mnt-exherbo@repology |
Fedora 26
release |
coq |
8.6 |
Unspecified |
- |
Fedora 27
release |
coq |
8.6.1 |
Unspecified |
- |
Fedora 28
release |
coq |
8.7.1 |
Unspecified |
- |
Fedora 29
release |
coq |
8.7.1 |
Unspecified |
- |
Fedora 30
release |
coq |
8.8.2 |
Unspecified |
- |
Fedora 31
updates |
coq |
8.9.1 |
Unspecified |
- |
Fedora 31
release |
coq |
8.9.1 |
Unspecified |
- |
Fedora 32
updates |
coq |
8.11.2 |
Unspecified |
- |
Fedora 32
release |
coq |
8.11.0 |
Unspecified |
- |
Fedora 33
updates |
coq |
8.12.2 |
Unspecified |
- |
Fedora 33
release |
coq |
8.12.0 |
Unspecified |
- |
Fedora 34
updates |
coq |
8.13.2 |
Unspecified |
- |
Fedora 34
release |
coq |
8.13.1 |
Unspecified |
- |
Fedora 35
updates |
coq |
8.13.2 |
Unspecified |
- |
Fedora 35
release |
coq |
8.13.2 |
Unspecified |
- |
Fedora 36
updates |
coq |
8.15.2 |
Unspecified |
- |
Fedora 36
release |
coq |
8.15.1 |
Unspecified |
- |
Fedora 37
updates |
coq |
8.16.1 |
Unspecified |
- |
Fedora 37
release |
coq |
8.16.0 |
Unspecified |
- |
Fedora 38
updates |
coq |
8.17.0 |
Unspecified |
- |
Fedora 38
release |
coq |
8.16.1 |
Unspecified |
- |
Fedora 39
development |
coq |
8.17.1 |
Unspecified |
- |
Fedora Rawhide
development |
coq |
8.17.1 |
Unspecified |
- |
|
FreeBSD Ports |
math/coq |
8.6 |
math |
hrs@freebsd.org |
|
FreeBSD Ports |
math/coq |
8.6 |
math |
hrs@freebsd.org |
|
FreeBSD Ports |
math/coq |
8.6 |
math |
hrs@freebsd.org |
|
FreeBSD Ports |
math/coq |
8.6 |
math |
hrs@freebsd.org |
|
FreeBSD Ports |
math/coq |
8.6 |
math |
hrs@freebsd.org |
|
Gentoo |
sci-mathematics/coq |
8.18.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
Gentoo |
sci-mathematics/coq |
8.17.1 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
GNU Guix |
coq |
8.16.1 |
- |
- |
|
Homebrew |
coq |
HEAD |
- |
- |
|
Homebrew |
coq |
8.17.1 |
- |
- |
Kali Linux Rolling
main |
coq |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
|
LiGurOS stable |
sci-mathematics/coq |
8.17.1 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS stable |
sci-mathematics/coq |
8.17.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS stable |
sci-mathematics/coq |
8.12.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/coq |
8.18.0 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
LiGurOS develop |
sci-mathematics/coq |
8.17.1 |
sci-mathematics |
sci-mathematics@gentoo.org |
|
MacPorts |
coq |
8.13.2 |
lang |
pmetzger@macports, pmetzger@github |
Mageia 8
core/release |
coq |
8.11.0 |
Sciences/Computer science |
- |
Mageia cauldron
core/release |
coq |
8.16.1 |
Sciences/Computer science |
- |
Manjaro Stable
extra |
coqide |
8.16.1 |
- |
- |
Manjaro Stable
extra |
coq-doc |
8.16.1 |
- |
- |
Manjaro Stable
extra |
coq |
8.16.1 |
- |
- |
Manjaro Testing
extra |
coq-doc |
8.16.1 |
- |
- |
Manjaro Testing
extra |
coq |
8.16.1 |
- |
- |
Manjaro Testing
extra |
coqide |
8.16.1 |
- |
- |
Manjaro Unstable
extra |
coqide |
8.16.1 |
- |
- |
Manjaro Unstable
extra |
coq-doc |
8.16.1 |
- |
- |
Manjaro Unstable
extra |
coq |
8.16.1 |
- |
- |
|
nixpkgs stable 21.11 |
coq |
8.14.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.13.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.13.2 |
coqPackages |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.13.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.12.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.11.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.10.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.9.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.8.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.7.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.6.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 21.11 |
coq |
8.5pl3 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.16+rc1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.15.2 |
coqPackages |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.15.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.15.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.14.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.13.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.12.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.11.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.10.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.9.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.8.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.7.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.6.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.05 |
coq |
8.5pl3 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.16.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.16.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.16.1 |
coqPackages |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.15.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.14.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.13.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.12.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.11.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.10.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.9.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.8.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.7.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.6.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 22.11 |
coq |
8.5pl3 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr |
|
nixpkgs stable 23.05 |
coq |
8.17.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.17.1 |
coqPackages |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.17.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.16.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.15.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.14.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.13.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.12.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.11.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.10.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.9.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.8.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.7.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.6.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs stable 23.05 |
coq |
8.5pl3 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.18.0 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.18.0 |
coqPackages |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.18.0 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.17.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.16.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.15.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.14.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.13.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.12.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.11.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.10.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.9.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.8.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.7.2 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.6.1 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
nixpkgs unstable |
coq |
8.5pl3 |
- |
roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@telecom-paris.fr |
|
OpenPKG |
coq |
8.6 |
Algorithm |
- |
openSUSE Leap 15.4
main/oss |
coq |
8.13.2 |
Productivity/Scientific/Math |
- |
openSUSE Leap 15.5
main/oss |
coq |
8.13.2 |
Productivity/Scientific/Math |
- |
openSUSE Tumbleweed
src-oss |
coq |
8.18.0 |
Productivity/Scientific/Math |
- |
|
openSUSE science Tumbleweed |
coq |
8.18.0 |
Productivity/Scientific/Math |
- |
|
openSUSE science Tumbleweed |
coq |
8.18.0 |
Productivity/Scientific/Math |
- |
Parabola
extra |
coq-doc |
8.16.1 |
- |
- |
Parabola
extra |
coqide |
8.16.1 |
- |
- |
Parabola
extra |
coq |
8.16.1 |
- |
- |
Pardus 21
main |
coq |
8.12.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Parrot
parrot/main |
coq |
8.12.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Parrot
parrot-updates/main |
coq |
8.12.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
|
pkgsrc current |
lang/coq |
8.15.2 |
lang |
dholland@netbsd.org |
|
PLD Linux |
coq |
8.15.0 |
- |
- |
|
PureOS Amber |
coq |
8.9.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org |
|
PureOS landing |
coq |
8.16.1 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Raspbian Oldstable
main |
coq |
8.12.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Raspbian Stable
main |
coq |
8.16.1 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Raspbian Testing
main |
coq |
8.17.0 |
math |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Rosa 2014.1
contrib/release |
coq |
8.4.pl4 |
- |
- |
Rosa 2016.1
contrib/release |
coq |
8.4.pl4 |
- |
- |
Rosa 2021.1
contrib/release |
coq |
8.15.2 |
Sciences/Computer science |
a.proklov@rosalinux.ru |
Scoop
main |
coq |
2023.03.0 |
- |
- |
Trisquel 10.0
nabia/main |
coq |
8.11.0 |
universe/devel |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Trisquel 11.0
aramo/main |
coq |
8.15.0 |
universe/devel |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Ubuntu 14.04
trusty/universe |
coq |
8.4pl3dfsg |
universe/devel |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org |
Ubuntu 16.04
xenial/universe |
coq |
8.4pl4dfsg |
universe/devel |
debian-ocaml-maint@lists.debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org |
Ubuntu 18.04
bionic/universe |
coq |
8.6 |
universe/devel |
debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org |
Ubuntu 20.04
focal/universe |
coq |
8.11.0 |
universe/devel |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org |
Ubuntu 22.04
jammy/universe |
coq |
8.15.0 |
universe/devel |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Ubuntu 23.04
lunar/universe |
coq |
8.16.1 |
universe/devel |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Ubuntu 23.10
mantic/universe |
coq |
8.17.0 |
universe/devel |
debian-ocaml-maint@lists.debian.org, bbaren@debian.org, glondu@debian.org, jpuydt@debian.org, treinen@debian.org |
Void Linux x86_64
x86_64 |
coq |
8.18.0 |
- |
leah@vuxu.org |
|
Wikidata |
Coq |
8.18.0 |
- |
- |