Versions Packages Information History Related Badges Report

Versions for coq

130 package(s) known

Repository Package name Version Category Maintainer(s)
Alpine Linux Edge
testing
coq-doc 8.8.2 - info@mobile-stream.com
Alpine Linux Edge
testing
coq 8.8.2 - info@mobile-stream.com
Alpine Linux Edge
testing
coq-emacs 8.8.2 - info@mobile-stream.com
AOSC coq 8.10.1 science fallback-mnt-aosc@repology
Arch
community
coq 8.13.1 - -
Arch
community
coq-doc 8.13.1 - -
Arch
community
coqide 8.13.1 - -
Chocolatey The Coq proof assistant 8.13.1 - -
Debian Oldstable
oldstable/main
coq 8.6 math debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Debian Stable
stable/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 Testing
testing/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 Unstable
main
coq 8.12.0 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Deepin
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 1.0 (Jessie)
jessie/main
coq 8.4pl4 math debian-ocaml-maint@lists.debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Devuan 2.0 (ASCII)
ascii/main
coq 8.6 math debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Devuan 3.0 (Beowulf)
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)
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.12.0 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
DPorts math/coq 8.6 math hrs@freebsd.org
DPorts math/coq 8.6 math hrs@freebsd.org
DPorts math/coq 8.6 math hrs@freebsd.org
DPorts math/coq 8.6 math hrs@freebsd.org
DPorts math/coq 8.6 math hrs@freebsd.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
release
coq 8.9.1 Unspecified -
Fedora 31
updates
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 Rawhide coq 8.13.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
Funtoo 1.4
science-kit
sci-mathematics/coq 8.6.1 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
Funtoo 1.4
science-kit
sci-mathematics/coq 8.6 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
Gentoo sci-mathematics/coq 8.13.0 sci-mathematics sci-mathematics@gentoo.org
Gentoo sci-mathematics/coq 8.12.0 sci-mathematics sci-mathematics@gentoo.org
Gentoo sci-mathematics/coq 8.11.2 sci-mathematics sci-mathematics@gentoo.org
GNU Guix coq 8.11.2 - -
Homebrew coq 8.13.2 - -
Hyperbola
community
coq 8.6 - -
Hyperbola
community
coq-doc 8.6 - -
Hyperbola
community
coqide 8.6 - -
Kali Linux Rolling
main
coq 8.12.0 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
LiGurOS stable sci-mathematics/coq 8.13.0 sci-mathematics sci-mathematics@gentoo.org
LiGurOS stable sci-mathematics/coq 8.12.0 sci-mathematics sci-mathematics@gentoo.org
LiGurOS stable sci-mathematics/coq 8.11.2 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/coq 8.13.0 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/coq 8.12.0 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/coq 8.11.2 sci-mathematics sci-mathematics@gentoo.org
Linuxbrew coq 8.13.2 - -
MacPorts coq 8.13.2 lang pmetzger@macports, pmetzger@github
Mageia 6
core/release
coq 8.5pl2 Sciences/Computer science -
Mageia 7
core/release
coq 8.7.1 Sciences/Computer science -
Mageia 8
core/release
coq 8.11.0 Sciences/Computer science -
Mageia Cauldron
core/release
coq 8.13.1 Sciences/Computer science -
Manjaro Stable
community
coq 8.13.1 - -
Manjaro Stable
community
coq-doc 8.13.1 - -
Manjaro Stable
community
coqide 8.13.1 - -
Manjaro Testing
community
coq 8.13.1 - -
Manjaro Testing
community
coq-doc 8.13.1 - -
Manjaro Testing
community
coqide 8.13.1 - -
Manjaro Unstable
community
coq 8.13.1 - -
Manjaro Unstable
community
coq-doc 8.13.1 - -
Manjaro Unstable
community
coqide 8.13.1 - -
nixpkgs stable coq 8.12.1 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.11.2 coqPackages roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.11.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.11.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.10.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.9.1 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.8.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.7.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.6.1 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs stable coq 8.5pl3 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.13.1 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.12.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.11.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.11.2 coqPackages roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.11.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.10.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.9.1 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.8.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.7.2 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.6.1 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
nixpkgs unstable coq 8.5pl3 - roconnor@theorem.ca, aseipp@pobox.com, vincent.laporte@gmail.com, theo.zimmermann@univ-paris-diderot.fr
OpenBSD Ports math/coq 8.12.2 math yozo@v007.vaio.ne.jp
OpenPKG coq 8.6 Algorithm -
openSUSE Tumbleweed
src-oss
coq 8.13.1 Productivity/Scientific/Math -
openSUSE Science Tumbleweed coq 8.13.1 Productivity/Scientific/Math -
Parabola
community
coq 8.13.1 - -
Parabola
community
coq-doc 8.13.1 - -
Parabola
community
coqide 8.13.1 - -
Pardus 17
main
coq 8.6 math debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Pardus 19
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
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
pkgsrc current lang/coq 8.12.2 lang dholland@netbsd.org
PLD Linux coq 8.6 - -
PureOS Amber coq 8.9.0 misc 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.12.0 misc debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Raspbian Oldstable
main
coq 8.6 math debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Raspbian Stable
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
Raspbian Testing
main
coq 8.12.0 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Rosa 2014.1
contrib/release
coq 8.4.pl4 - -
Rosa 2016.1
contrib/release
coq 8.4.pl4 - -
Scoop
main
coq 8.13.1 - -
SlackBuilds academic/coq 8.9.0 academic nick@smallbone.se
Trisquel 6.0
toutatis/main
coq 8.3.pl4 universe/devel debian-ocaml-maint@lists.debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Trisquel 7.0
belenos/main
coq 8.4pl3 universe/devel debian-ocaml-maint@lists.debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Trisquel 8.0
flidas/main
coq 8.4pl4 universe/devel debian-ocaml-maint@lists.debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Trisquel 9.0
etiona/main
coq 8.6 universe/devel debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Ubuntu 12.04
precise/universe
coq 8.3.pl4 universe/devel debian-ocaml-maint@lists.debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Ubuntu 14.04
trusty/universe
coq 8.4pl3 universe/devel debian-ocaml-maint@lists.debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Ubuntu 16.04
xenial/universe
coq 8.4pl4 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 20.10
groovy/universe
coq 8.12.0 universe/devel debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Ubuntu 21.04
hirsute/universe
coq 8.12.0 universe/devel debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Void Linux x86_64
x86_64
coq 8.13.2 - leah@vuxu.org
Wikidata Coq 8.13.1 - -