Information for coq

Versions

• 8.5-scm
• scm
• HEAD
• 2023.03.0
• 8.18.0 (6)
• 8.17.1 (4)
• 8.17.0 (3)
• 8.16.1 (6)
• 8.16.0
• 8.16+rc1
• 8.15.2 (4)
• 8.15.1
• 8.15.0 (2)
• 8.14.1
• 8.13.2 (4)
• 8.13.1 (2)
• 8.12.2 (2)
• 8.12.0 (3)
• 8.11.2 (2)
• 8.11.0 (3)
• 8.10.2
• 8.9.1 (2)
• 8.9.0
• 8.8.2 (2)
• 8.7.2
• 8.7.1
• 8.6.1 (2)
• 8.6 (4)
• 8.5pl3
• 8.5-p2
• 8.4pl4dfsg
• 8.4.pl4
• 8.4pl3dfsg

Package names

• Coq
• coq (20)
• coq-emacs_canna
• coq-emacs_devel
• coq-emacs_devel_nox
• coq-emacs_nox

Repositories

• Alpine Linux Edge
• Arch
• Arch Linux 32 i686
• Arch Linux 32 pentium4
• Arch Linux ARM aarch64
• Chocolatey
• Debian 10
• Debian 11
• Debian 12
• Debian 13
• Debian Unstable
• Deepin
• Devuan 3.0
• Devuan 4.0
• Devuan Unstable
• Exherbo
• Fedora 26
• Fedora 27
• Fedora 28
• Fedora 29
• Fedora 30
• Fedora 31
• Fedora 32
• Fedora 33
• Fedora 34
• Fedora 35
• Fedora 36
• Fedora 37
• Fedora 38
• Fedora 39
• Fedora Rawhide
• FreeBSD Ports
• Gentoo
• GNU Guix
• Homebrew
• Kali Linux Rolling
• LiGurOS stable
• LiGurOS develop
• MacPorts
• Mageia 8
• Mageia cauldron
• Manjaro Stable
• Manjaro Testing
• Manjaro Unstable
• nixpkgs stable 21.11
• nixpkgs stable 22.05
• nixpkgs stable 22.11
• nixpkgs stable 23.05
• nixpkgs unstable
• OpenPKG
• openSUSE Leap 15.4
• openSUSE Leap 15.5
• openSUSE Tumbleweed
• openSUSE science Tumbleweed
• Parabola
• Pardus 21
• Parrot
• pkgsrc current
• PLD Linux
• PureOS Amber
• PureOS landing
• Raspbian Oldstable
• Raspbian Stable
• Raspbian Testing
• Rosa 2014.1
• Rosa 2016.1
• Rosa 2021.1
• Scoop
• Trisquel 10.0
• Trisquel 11.0
• Ubuntu 14.04
• Ubuntu 16.04
• Ubuntu 18.04
• Ubuntu 20.04
• Ubuntu 22.04
• Ubuntu 23.04
• Ubuntu 23.10
• Void Linux x86_64
• Wikidata

Categories

• Algorithm
• Productivity/Scientific/Math
• Sciences/Computer science (2)
• Unspecified
• coqPackages
• dev-lang
• lang (2)
• math (2)
• sci-mathematics
• universe/devel

Licenses

• GNU Lesser General Public License, version 2.1
• GPL
• LGPL
• LGPL-2.1 (3)
• LGPL-2.1-only (2)
• LGPL-2.1-only AND MIT AND BSD-3-Clause (2)
• LGPL-2.1-or-later
• LGPLv2 (2)
• LGPLv2+
• Proprietary, LGPL-2.1-only, LGPL-3.0-or-later, MIT, GPL-2.0-only, BSD-2-Clause-FreeBSD, CECILL-C, BSD-3-Clause, CECILL-B, ...

Summaries

• A proof assistant
• An interactive theorem proof assistant.
• Coq Poof Assistent
• Coq proof assistant
• Formal proof management system (2)
• Formal proof management system (documentation)
• GTK-based graphical interface for the Coq proof assistant
• HTML and PDF documentation for the Coq proof assistant
• Proof Assistant based on the Calculus of Inductive Constructions
• Proof assistant for higher-order logic (3)
• Proof assistant written in O'Caml
• Proof assistant written in OCaml
• Proof management system
• The Coq Proof Assistant (2)
• Theorem prover based on lambda-C
• Theorem prover which extracts programs from proofs
• proof assistant

Maintainers

• a.proklov@rosalinux.ru
• aseipp@pobox.com
• bbaren@debian.org
• debian-ocaml-maint@lists.debian.org
• dholland@netbsd.org
• fallback-mnt-exherbo@repology
• gareuselesinge@debian.org
• glondu@debian.org
• hrs@freebsd.org
• info@mobile-stream.com
• jpuydt@debian.org
• leah@vuxu.org
• pmetzger@github
• pmetzger@macports
• roconnor@theorem.ca
• sci-mathematics@gentoo.org
• smimram@debian.org
• theo.zimmermann@telecom-paris.fr
• theo.zimmermann@univ-paris-diderot.fr
• treinen@debian.org
• vincent.laporte@gmail.com

• Group email

Homepage links

• http://coq.inria.fr/^ok (5)
• https://coq.inria.fr/^ok (15)
• https://github.com/coq/coq^{ok, no IPv6}
• https://github.com/coq/coq/^{ok, no IPv6}

Issue tracker links

• https://coq.inria.fr/bugs/^{redir, no IPv6}

Repository links

• https://github.com/coq/coq^{ok, no IPv6}
• https://github.com/coq/coq.git^{redir, no IPv6}
• https://github.com/coq/coq/^{ok, no IPv6}

Documentation links

• https://coq.inria.fr/documentation^ok

All package recipes

• https://abf.io/import/coq/blob/rosa2014.1/coq.spec^{ok, no IPv6}
• https://abf.io/import/coq/blob/rosa2016.1/coq.spec^{ok, no IPv6}
• https://abf.io/import/coq/blob/rosa2021.1/coq.spec^{ok, no IPv6}
• https://archlinuxarm.org/packages/aarch64/coq-doc/files/PKGBUILD^{dead (see archive.org)}
• https://archlinuxarm.org/packages/aarch64/coq/files/PKGBUILD^{dead (see archive.org)}
• https://archlinuxarm.org/packages/aarch64/coqide/files/PKGBUILD^{dead (see archive.org)}
• https://build.opensuse.org/package/view_file/openSUSE:Factory/coq/coq.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.4:Update/coq/coq.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/openSUSE:Leap:15.5:Update/coq/coq.spec?expand=1^ok
• https://build.opensuse.org/package/view_file/science/coq/coq.spec?expand=1^ok
• https://git.alpinelinux.org/aports/tree/testing/coq/APKBUILD^ok
• https://git.pld-linux.org/?p=packages/coq.git;a=blob;f=coq.spec;hb=HEAD^ok
• https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/coq.scm#n122^ok
• https://github.com/Exherbo/ocaml-unofficial/blob/master/packages/dev-lang/coq/coq-8.5-p2.exheres-0^{ok, no IPv6}
• https://github.com/Exherbo/ocaml-unofficial/blob/master/packages/dev-lang/coq/coq-8.5-scm.exheres-0^{ok, no IPv6}
• https://github.com/Exherbo/ocaml-unofficial/blob/master/packages/dev-lang/coq/coq-scm.exheres-0^{ok, no IPv6}
• https://github.com/Homebrew/homebrew-core/blob/master/Formula/coq.rb^{dead (see archive.org)}
• https://github.com/macports/macports-ports/blob/master/lang/coq/Portfile^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/applications/science/logic/coq/default.nix#L213^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-21.11/pkgs/applications/science/logic/coq/default.nix#L194^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.05/pkgs/applications/science/logic/coq/default.nix#L201^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-22.11/pkgs/applications/science/logic/coq/default.nix#L210^{ok, no IPv6}
• https://github.com/NixOS/nixpkgs/blob/release-23.05/pkgs/applications/science/logic/coq/default.nix#L212^{ok, no IPv6}
• https://github.com/ScoopInstaller/Main/blob/master/bucket/coq.json^{ok, no IPv6}
• https://github.com/void-linux/void-packages/blob/master/srcpkgs/coq/template^{ok, no IPv6}
• https://gitlab.archlinux.org/archlinux/packaging/packages/coq/-/blob/main/PKGBUILD^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/coq/coq-8.17.1.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/develop/sci-mathematics/coq/coq-8.18.0.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/coq/coq-8.12.0-r2.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/coq/coq-8.17.0.ebuild^ok
• https://gitlab.com/liguros/liguros-repo/-/blob/stable/sci-mathematics/coq/coq-8.17.1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/coq/coq-8.17.1.ebuild^ok
• https://gitweb.gentoo.org/repo/gentoo.git/tree/sci-mathematics/coq/coq-8.18.0.ebuild^ok
• https://src.fedoraproject.org/rpms/coq/blob/f26/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f27/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f28/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f29/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f30/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f31/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f32/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f33/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f34/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f35/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f36/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f37/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f38/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/f39/f/coq.spec^{ok, no IPv6}
• https://src.fedoraproject.org/rpms/coq/blob/rawhide/f/coq.spec^{ok, no IPv6}

Downloads

• https://coq.inria.fr/distrib/V8.5pl2/files/coq-8.5pl2.tar.gz^ok
• https://coq.inria.fr/distrib/V8.6/files/coq-8.6.tar.gz^ok
• https://github.com/coq/coq^{ok, no IPv6}
• https://github.com/coq/coq/archive/V8.12.0.tar.gz^{ok, no IPv6}
• https://github.com/coq/coq/archive/V8.17.0.tar.gz^{ok, no IPv6}
• https://github.com/coq/coq/archive/V8.17.1.tar.gz^{ok, no IPv6} (2)
• https://github.com/coq/coq/archive/V8.18.0.tar.gz^{ok, no IPv6}
• https://github.com/coq/platform/releases/download/2023.03.0/Coq-Platform-release-2023.03.0-version.8.17.2023.08-Windows-i686.exe#/dl.7z^{ok, no IPv6}
• https://github.com/coq/platform/releases/download/2023.03.0/Coq-Platform-release-2023.03.0-version.8.17.2023.08-Windows-x86_64.exe#/dl.7z^{ok, no IPv6}

Build logs

• https://kojipkgs.fedoraproject.org/packages/coq/8.11.0/1.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.11.2/1.fc32/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.12.0/3.fc33.1/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.12.2/1.fc33/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.13.1/1.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.13.2/1.fc34/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.13.2/3.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.13.2/4.fc35/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.15.1/1.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.15.2/2.fc36/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.16.0/1.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.16.1/1.fc37/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.16.1/3.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.17.0/1.fc38/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.17.1/5.fc39/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.6.1/1.fc27/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.6/2.fc26/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.7.1/2.fc28/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.7.1/7.fc29/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.8.2/2.fc30/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.9.1/4.fc31/data/logs/^{ok, no IPv6}
• https://kojipkgs.fedoraproject.org/packages/coq/8.9.1/5.fc31/data/logs/^{ok, no IPv6}