Versions Packages Information History Related Badges Report

Versions for coq

112 package(s) known

Repository Package name Version Category Maintainer(s)
Alpine Linux Edge
testing
coq-emacs 8.8.2 - info@mobile-stream.com
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
AOSC coq 8.9.1 science fallback-mnt-aosc@repology
Arch
community
coq 8.10.2 - -
Arch
community
coq-doc 8.10.2 - -
Arch
community
coqide 8.10.2 - -
Chocolatey The Coq proof assistant 8.10.2 - -
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.9.1 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Debian Unstable
main
coq 8.9.1 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Debian Experimental
main
coq 8.10.2 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Deepin
main
coq 8.6 math debian-ocaml-maint@lists.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 Unstable
unstable/main
coq 8.9.1 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
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
development
coq 8.9.1 Unspecified -
Fedora Rawhide coq 8.9.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.3
science-kit
sci-mathematics/coq 8.6.1 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.org
Funtoo 1.3
science-kit
sci-mathematics/coq 8.6 sci-mathematics ml@gentoo.org, sci-mathematics@gentoo.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.9.1 sci-mathematics sci-mathematics@gentoo.org
Gentoo sci-mathematics/coq 8.9.1 sci-mathematics sci-mathematics@gentoo.org
Gentoo sci-mathematics/coq 8.6.1 sci-mathematics sci-mathematics@gentoo.org
GNU Guix coq 8.9.1 - -
Homebrew coq 8.10.2 - -
Hyperbola
community
coq 8.6 - -
Hyperbola
community
coq-doc 8.6 - -
Hyperbola
community
coqide 8.6 - -
Kali Linux Rolling
main
coq 8.9.1 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Linuxbrew coq 8.10.2 - -
MacPorts coq 8.8.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 Cauldron
core/release
coq 8.7.1 Sciences/Computer science -
Manjaro Stable
community
coq 8.10.2 - -
Manjaro Stable
community
coq-doc 8.10.2 - -
Manjaro Stable
community
coqide 8.10.2 - -
Manjaro Testing
community
coq 8.10.2 - -
Manjaro Testing
community
coq-doc 8.10.2 - -
Manjaro Testing
community
coqide 8.10.2 - -
Manjaro Unstable
community
coq 8.10.2 - -
Manjaro Unstable
community
coq-doc 8.10.2 - -
Manjaro Unstable
community
coqide 8.10.2 - -
nixpkgs stable coq 8.10.0 - 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.9.1 coqPackages 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.11+beta1 - 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.9.1 coqPackages 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.10.0 math yozo@v007.vaio.ne.jp
OpenPKG coq 8.6 Algorithm -
openSUSE Tumbleweed coq 8.9.1 Productivity/Scientific/Math -
openSUSE Science Tumbleweed coq 8.9.1 Productivity/Scientific/Math -
openSUSE Science Tumbleweed coq 8.9.1 Productivity/Scientific/Math -
Parabola
community
coq 8.10.2 - -
Parabola
community
coq-doc 8.10.2 - -
Parabola
community
coqide 8.10.2 - -
Pardus
main
coq 8.6 math debian-ocaml-maint@lists.debian.org, gareuselesinge@debian.org, glondu@debian.org, smimram@debian.org, treinen@debian.org
Parrot
main
coq 8.9.1 math debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
pkgsrc current lang/coq 8.9.1 lang jaapb@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.9.1 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.9.1 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.10.2 - -
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
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 18.10
cosmic/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 19.04
disco/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 19.10
eoan/universe
coq 8.9.1 universe/devel debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Ubuntu 20.04
focal/universe
coq 8.9.1 universe/devel debian-ocaml-maint@lists.debian.org, bbaren@debian.org, gareuselesinge@debian.org, glondu@debian.org, treinen@debian.org
Ubuntu 20.04 Proposed
focal-proposed/universe
coq 8.9.1 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.10.2 - leah@vuxu.org
Wikidata Coq 8.10.2 - -

Absent in repositories

  • Adélie Linux current
  • AIX Open Source Packages
  • ALT Linux p9
  • ALT Sisyphus
  • Amazon Linux 1
  • Amazon Linux 2
  • antiX-16
  • antiX-17
  • antiX-19
  • Arch Testing
  • AUR
  • Astra Orel Stable
  • Astra Orel Current
  • BlackArch
  • Buckaroo
  • BunsenLabs Hydrogen
  • BunsenLabs Hydrogen/Jessie Backports
  • BunsenLabs Helium
  • BunsenLabs Helium/Stretch Backports
  • Calculate
  • Carbs Linux
  • CentOS 6
  • CentOS 7
  • CentOS 8
  • Chakra
  • Chakra Staging
  • Chakra Testing
  • CPAN
  • MetaCPAN
  • CRAN
  • crates.io
  • CRUX 3.2
  • CRUX 3.3
  • CRUX 3.4
  • CRUX 3.5
  • Cygwin
  • Deb Multimedia Unstable
  • Debian Stable Backports
  • distri
  • DistroWatch.com
  • ELRepo el7
  • ELRepo el7 Testing
  • Entware
  • EPEL 6
  • EPEL 7
  • EPEL 8
  • Exherbo
  • F-Droid
  • freshcode.club
  • Gentoo overlay Pentoo
  • GNU Elpa
  • GoboLinux
  • Hackage
  • HaikuPorts master
  • Homebrew Casks
  • Homebrew tap Brewsci/bio
  • HP-UX 11.31
  • just-install
  • KaOS
  • KaOS Build
  • KDE neon Dev Stable
  • KDE neon Dev Unstable
  • KDE neon Experimental
  • KDE neon User
  • KDE neon User LTS
  • KISS Linux Community
  • KISS Linux Main
  • Kwort 4.3.2
  • Kwort 4.3.3
  • Kwort 4.3.4
  • Libregamewiki
  • Linux Mint 17
  • Linux Mint 17.1
  • Linux Mint 17.2
  • Linux Mint 17.3
  • Linux Mint 18
  • Linux Mint 18.1
  • Linux Mint 18.2
  • Linux Mint 18.3
  • Linux Mint 19
  • Linux Mint 19.1
  • Linux Mint 19.2
  • Linux Mint 19.3
  • LuaRocks
  • Maemo Fremantle
  • MELPA
  • MSYS2 mingw
  • MSYS2 msys2
  • MX Linux MX-15
  • MX Linux MX-15 Testing
  • MX Linux MX-16
  • MX Linux MX-17
  • MX Linux MX-17 Testing
  • MX Linux MX-19
  • MX Linux MX-19 Testing
  • Npackd Stable
  • Npackd Stable64
  • Npackd Unstable
  • OpenIndiana packages
  • OpenMandriva 3.x
  • OpenMandriva 4.x
  • OpenMandriva Cooker
  • openSUSE Leap 42.3
  • openSUSE Leap 15.0
  • openSUSE Leap 15.1
  • openSUSE Leap 15.2
  • openSUSE Education Tumbleweed
  • openSUSE Emulators Tumbleweed
  • openSUSE Games Tumbleweed
  • openSUSE Graphics Tumbleweed
  • openSUSE Hardware:SDR Tumbleweed
  • openSUSE Multimedia:Apps Tumbleweed
  • openSUSE Multimedia:Libs Tumbleweed
  • openSUSE Network Tumbleweed
  • openSUSE Security Tumbleweed
  • OpenWrt 17.01 x86_64
  • OpenWrt 18.06 x86_64
  • OpenWrt 19.07 x86_64
  • OS4Depot
  • PackMan openSUSE Leap 42.3
  • PackMan openSUSE Leap 15.0
  • PackMan openSUSE Leap 15.1
  • PackMan openSUSE Tumbleweed
  • PackMan SLE 12
  • PackMan SLE 15
  • Parabola Testing
  • PCLinuxOS
  • Pisi Linux
  • Pisi Linux Contrib
  • Ravenports
  • ReactOS rapps
  • Rosa 2019.0
  • Rosa 2019.1
  • Rosa Server 6.9
  • Rosa Server 7.3
  • Rosa Server 7.5
  • RPM Fusion EL 6
  • RPM Fusion EL 7
  • RPM Fusion EL 8
  • RPM Fusion Fedora 28
  • RPM Fusion Fedora 29
  • RPM Fusion Fedora 30
  • RPM Fusion Fedora 31
  • RPM Fusion Fedora Rawhide
  • RPM Sphere
  • RubyGems
  • Sabayon
  • Sabayon for-gentoo
  • Salix 14.2
  • Scientific Linux 7.x
  • Slackware 14.2
  • Slackware current
  • Slackware64 14.2
  • Slackware64 current
  • Slackwarearm 14.2
  • Slackwarearm current
  • SliTaz Cooking
  • SliTaz Next
  • Solus
  • Sparky
  • Stackage LTS Haskell
  • Stackage Nightly
  • SteamOS alchemist
  • SteamOS alchemist beta
  • SteamOS brewmaster
  • SteamOS brewmaster beta
  • T2 SDE
  • Tails stable
  • Tails devel
  • Termux
  • Trisquel 6.0 backports
  • Trisquel 7.0 backports
  • Trisquel 8.0 backports
  • Ubuntu 12.04 Backports
  • Ubuntu 14.04 Backports
  • Ubuntu 16.04 Backports
  • Ubuntu 18.04 Backports
  • Ubuntu 18.10 Backports
  • Ubuntu 19.04 Backports
  • Ubuntu 19.04 Proposed
  • Ubuntu 19.10 Backports
  • Ubuntu 19.10 Proposed
  • UnitedRPMs Fedora 29
  • UnitedRPMs Fedora 30
  • UnitedRPMs Fedora 31
  • UnitedRPMs Fedora 32
  • Vcpkg
  • Whonix
  • Whonix Developers
  • YACP