coq packages - Repology

131 package(s) known

Alpine Linux Edge
^testing

coq

8.8.2 (8.8.2-r0)

Summary:
A formal proof management system
Maintainer:
- info@mobile-stream.com
License:
- LGPL-2.1
Package-related links:
- Package details
Homepage:
- https://coq.inria.fr/⁴⁶

Alpine Linux Edge
^testing

coq-doc

8.8.2 (8.8.2-r0)

Summary:
A formal proof management system (documentation)
Maintainer:
- info@mobile-stream.com
License:
- LGPL-2.1
Package-related links:
- Package details
Homepage:
- https://coq.inria.fr/⁴⁶

Alpine Linux Edge
^testing

coq-emacs

8.8.2 (8.8.2-r0)

Summary:
A formal proof management system (Emacs files)
Maintainer:
- info@mobile-stream.com
License:
- LGPL-2.1
Package-related links:
- Package details
Homepage:
- https://coq.inria.fr/⁴⁶

AOSC

coq

8.10.1

Summary:
Formal proof management system
Maintainer:
- fallback-mnt-aosc@repology
Category:
- science
Package-related links:
- Package details
- Package sources on GitHub

Arch
^community

coq

8.13.0 (8.13.0-1)

Summary:
Formal proof management system
License:
- GPL
Package-related links:
Homepage:
- https://coq.inria.fr/⁴⁶

Arch
^community

coq-doc

8.13.0 (8.13.0-1)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Package-related links:
Homepage:
- https://coq.inria.fr/⁴⁶

Arch
^community

coqide

8.13.0 (8.13.0-1)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Package-related links:
Homepage:
- https://coq.inria.fr/⁴⁶

Chocolatey

The Coq proof assistant

8.13.0

Summary:
An interactive theorem proof assistant.
Package-related links:
- Chocolatey package page
Homepage:
- https://coq.inria.fr/⁴⁶

Debian Oldstable
^{oldstable/main}

coq

8.6 (8.6-4)

Debian Stable
^stable/main

coq

8.9.0 (8.9.0-1)

Debian Testing
^testing/main

coq

8.12.0 (8.12.0-3)

Debian Unstable
^main

coq

8.12.0 (8.12.0-3)

Deepin
^main

coq

8.9.0 (8.9.0-1)

Devuan 1.0 (Jessie)
^jessie/main

coq

8.4pl4 (8.4pl4dfsg-1)

Devuan 2.0 (ASCII)
^ascii/main

coq

8.6 (8.6-4)

Devuan 3.0 (Beowulf)
^beowulf/main

coq

8.9.0 (8.9.0-1)

Devuan 4.0 (Chimaera)
^{chimaera/main}

coq

8.12.0 (8.12.0-3)

Devuan Unstable
^{unstable/main}

coq

8.12.0 (8.12.0-3)

DPorts

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

DPorts

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

DPorts

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

DPorts

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

DPorts

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

Exherbo
^{ocaml-unofficial}

dev-lang/coq

8.5-scm

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

Exherbo
^{ocaml-unofficial}

dev-lang/coq

scm

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

Exherbo
^{ocaml-unofficial}

dev-lang/coq

8.5-p2

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶
Download(s):
- https://coq.inria.fr/distrib/V8.5pl2/files/coq-8.5pl2.tar.gz⁴⁶

Fedora 26
^release

coq

8.6 (8.6-2.fc26)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 27
^release

coq

8.6.1 (8.6.1-1.fc27)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 28
^release

coq

8.7.1 (8.7.1-2.fc28)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 29
^release

coq

8.7.1 (8.7.1-7.fc29)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 30
^release

coq

8.8.2 (8.8.2-2.fc30)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 31
^release

coq

8.9.1 (8.9.1-4.fc31)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 31
^updates

coq

8.9.1 (8.9.1-5.fc31)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 32
^updates

coq

8.11.2 (8.11.2-1.fc32)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 32
^release

coq

8.11.0 (8.11.0-1.fc32)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 33
^updates

coq

8.12.2 (8.12.2-1.fc33)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora 33
^release

coq

8.12.0 (8.12.0-3.fc33.1)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

Fedora Rawhide

coq

8.12.2 (8.12.2-1.fc34)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Package-related links:
- Package details on Fedora Pagure
- Package details on Fedora Packages
Homepage:
- https://coq.inria.fr/⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_5,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Package-related links:
Homepage:
- http://coq.inria.fr/⁴⁶

Funtoo 1.4
^science-kit

sci-mathematics/coq

8.6.1

Summary:
Proof assistant written in O'Caml
Maintainers:
- ml@gentoo.org
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Homepage:
- http://coq.inria.fr/⁴⁶
Download(s):
- http://coq.inria.fr/distrib/V8.6.1/files/coq-8.6.1.tar.gz⁴⁶

Funtoo 1.4
^science-kit

sci-mathematics/coq

8.6

Summary:
Proof assistant written in O'Caml
Maintainers:
- ml@gentoo.org
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Homepage:
- http://coq.inria.fr/⁴⁶
Download(s):
- http://coq.inria.fr/distrib/V8.6/files/coq-8.6.tar.gz⁴⁶

Gentoo

sci-mathematics/coq

8.12.0

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Package details
- View ebuild
Homepage:
- http://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.12.0.tar.gz⁴⁶

Gentoo

sci-mathematics/coq

8.9.1 (8.9.1-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Package details
- View ebuild
Homepage:
- http://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.9.1.tar.gz⁴⁶

Gentoo

sci-mathematics/coq

8.9.1 (8.9.1-r2)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Package details
- View ebuild
Homepage:
- http://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.9.1.tar.gz⁴⁶

Gentoo

sci-mathematics/coq

8.6.1 (8.6.1-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Package details
- View ebuild
Homepage:
- http://coq.inria.fr/⁴⁶
Download(s):
- http://coq.inria.fr/distrib/V8.6.1/files/coq-8.6.1.tar.gz⁴⁶

GNU Guix

coq

8.11.2

Summary:
Proof assistant for higher-order logic
Package-related links:
- Package page on Guix site
- Package source in Git
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq⁴⁶

Homebrew

coq

8.13.0

Summary:
Proof assistant for higher-order logic
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- https://coq.inria.fr/⁴⁶

Hyperbola
^community

coq

8.6 (8.6-5)

Summary:
Formal proof management system
License:
- GPL
Package-related links:
- Package search on hyperbola.info.nu
Homepage:
- https://coq.inria.fr/⁴⁶

Hyperbola
^community

coq-doc

8.6 (8.6-5)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Package-related links:
- Package search on hyperbola.info.nu
Homepage:
- https://coq.inria.fr/⁴⁶

Hyperbola
^community

coqide

8.6 (8.6-5)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Package-related links:
- Package search on hyperbola.info.nu
Homepage:
- https://coq.inria.fr/⁴⁶

Kali Linux Rolling
^main

coq

8.12.0 (8.12.0-3)

Maintainers:
Category:
- math
Package-related links:
- Git repository
Homepage:
- http://coq.inria.fr/⁴⁶

LiGurOS 20.7
^nokit

sci-mathematics/coq

8.12.0

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Git directory
- View ebuild
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.12.0.tar.gz⁴⁶

LiGurOS 20.7
^nokit

sci-mathematics/coq

8.9.1 (8.9.1-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Git directory
- View ebuild
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.9.1.tar.gz⁴⁶

LiGurOS 20.7
^nokit

sci-mathematics/coq

8.9.1 (8.9.1-r2)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Git directory
- View ebuild
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.9.1.tar.gz⁴⁶

LiGurOS 20.7
^nokit

sci-mathematics/coq

8.6.1 (8.6.1-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Git directory
- View ebuild
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- http://coq.inria.fr/distrib/V8.6.1/files/coq-8.6.1.tar.gz⁴⁶

LiGurOS 21.1
^nokit

sci-mathematics/coq

8.12.0

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Git directory
- View ebuild
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.12.0.tar.gz⁴⁶

LiGurOS 21.1
^nokit

sci-mathematics/coq

8.9.1 (8.9.1-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Git directory
- View ebuild
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.9.1.tar.gz⁴⁶

LiGurOS 21.1
^nokit

sci-mathematics/coq

8.9.1 (8.9.1-r2)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Git directory
- View ebuild
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.9.1.tar.gz⁴⁶

LiGurOS 21.1
^nokit

sci-mathematics/coq

8.6.1 (8.6.1-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Package-related links:
- Git directory
- View ebuild
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- http://coq.inria.fr/distrib/V8.6.1/files/coq-8.6.1.tar.gz⁴⁶

Linuxbrew

coq

8.13.0

Summary:
Proof assistant for higher-order logic
Package-related links:
- Formula page
- Formula code on GitHub
Homepage:
- https://coq.inria.fr/⁴⁶

MacPorts

coq

8.8.2

Summary:
Proof assistant for higher-order logic
Maintainers:
- pmetzger@macports
- pmetzger@github
Category:
- lang
License:
- LGPL-2.1
Package-related links:
- Port page on MacPorts.org
- Port directory in GitHub repository
Homepage:
- https://coq.inria.fr/⁴⁶

Mageia 6
^core/release

coq

8.5pl2 (8.5pl2-2.mga6)

Summary:
The Coq Proof Assistant
Category:
- Sciences/Computer science
License:
- LGPLv2
Package-related links:
- Package details on madb.mageia.org
Homepage:
- https://coq.inria.fr/⁴⁶

Mageia 7
^core/release

coq

8.7.1 (8.7.1-1.mga7)

Summary:
The Coq Proof Assistant
Category:
- Sciences/Computer science
License:
- LGPLv2
Package-related links:
- Package details on madb.mageia.org
Homepage:
- https://coq.inria.fr/⁴⁶

Mageia Cauldron
^core/release

coq

8.11.0 (8.11.0-4.mga8)

Summary:
The Coq Proof Assistant
Category:
- Sciences/Computer science
License:
- LGPLv2
Package-related links:
- Package details on madb.mageia.org
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Stable
^community

coq

8.12.0 (8.12.0-2)

Summary:
Formal proof management system
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Stable
^community

coq-doc

8.12.0 (8.12.0-2)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Stable
^community

coqide

8.12.0 (8.12.0-2)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Testing
^community

coq

8.12.0 (8.12.0-2)

Summary:
Formal proof management system
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Testing
^community

coq-doc

8.12.0 (8.12.0-2)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Testing
^community

coqide

8.12.0 (8.12.0-2)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Unstable
^community

coq

8.13.0 (8.13.0-1)

Summary:
Formal proof management system
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Unstable
^community

coq-doc

8.13.0 (8.13.0-1)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

Manjaro Unstable
^community

coqide

8.13.0 (8.13.0-1)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Homepage:
- https://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.12.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.11.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.11.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.11.2

Summary:
Coq proof assistant
Maintainers:
Category:
- coqPackages
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.10.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.9.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.8.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.7.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.6.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs stable

coq

8.5pl3

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1-only
Package-related links:
- Package source (release branch)
- Package source (master branch, imprecise link)
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.13+beta1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.12.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.11.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.11.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.11.2

Summary:
Coq proof assistant
Maintainers:
Category:
- coqPackages
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.10.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.9.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.8.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.7.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.6.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

nixpkgs unstable

coq

8.5pl3

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Package-related links:
- Package source
Homepage:
- http://coq.inria.fr/⁴⁶

OpenBSD Ports

math/coq

8.12.1

Summary:
proof assistant based on a typed lambda calculus
Maintainer:
- yozo@v007.vaio.ne.jp
Category:
- math
Package-related links:
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.12.1/coq-8.12.1.tar.gz⁴⁶

OpenPKG

coq

8.6

Summary:
Coq Poof Assistent
Category:
- Algorithm
License:
- LGPL
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://coq.inria.fr/distrib/V8.6/files/coq-8.6.tar.gz⁴⁶

openSUSE Tumbleweed

coq

8.12.2 (8.12.2-1.1)

Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
- Productivity/Scientific/Math
License:
- LGPL-2.1-only
Package-related links:
- Package in openSUSE Build Service
- Package details on software.opensuse.org
Homepage:
- https://coq.inria.fr/⁴⁶

openSUSE Science Tumbleweed

coq

8.12.2 (8.12.2-26.4)

Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
- Productivity/Scientific/Math
License:
- LGPL-2.1-only
Package-related links:
- Package in openSUSE Build Service
- Package details on software.opensuse.org
Homepage:
- https://coq.inria.fr/⁴⁶

Parabola
^community

coq

8.13.0 (8.13.0-1)

Summary:
Formal proof management system
License:
- GPL
Package-related links:
- Package search on parabola.nu
Homepage:
- https://coq.inria.fr/⁴⁶

Parabola
^community

coq-doc

8.13.0 (8.13.0-1)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Package-related links:
- Package search on parabola.nu
Homepage:
- https://coq.inria.fr/⁴⁶

Parabola
^community

coqide

8.13.0 (8.13.0-1)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Package-related links:
- Package search on parabola.nu
Homepage:
- https://coq.inria.fr/⁴⁶

Pardus 17
^main

coq

8.6 (8.6-4)

Pardus 19
^main

coq

8.9.0 (8.9.0-1)

Parrot
^main

coq

8.12.0 (8.12.0-3)

pkgsrc current

lang/coq

8.10.2 (8.10.2nb6)

Summary:
Theorem prover which extracts programs from proofs
Maintainer:
- jaapb@netbsd.org
Category:
- lang
Package-related links:
Homepage:
- https://coq.inria.fr/⁴⁶

PLD Linux

coq

8.6 (8.6-1)

Package-related links:
- Package git repository

PureOS Amber

coq

8.9.0 (8.9.0-1)

PureOS landing

coq

8.12.0 (8.12.0-3)

Raspbian Oldstable
^main

coq

8.6 (8.6-4)

Raspbian Stable
^main

coq

8.9.0 (8.9.0-1)

Raspbian Testing
^main

coq

8.12.0 (8.12.0-3)

Rosa 2014.1
^{contrib/release}

coq

8.4.pl4 (8.4.pl4-1)

License:
- LGPLv2+
Package-related links:
- Package on abf.io
Homepage:
- http://coq.inria.fr/⁴⁶

Rosa 2016.1
^{contrib/release}

coq

8.4.pl4 (8.4.pl4-3)

License:
- LGPLv2+
Package-related links:
- Package on abf.io
Homepage:
- http://coq.inria.fr/⁴⁶

Scoop
^main

coq

8.13.0

License:
- LGPL-2.1-only
Homepage:
- https://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/releases/download/V8.13.0/coq-8.13.0-installer-windows-x86_64.exe#/dl.7z⁴⁶

SlackBuilds

academic/coq

8.9.0

Maintainer:
- nick@smallbone.se
Category:
- academic
Package-related links:
- SlackBuilds.org page
Homepage:
- http://coq.inria.fr/⁴⁶
Download(s):
- https://github.com/coq/coq/archive/V8.9.0/coq-8.9.0.tar.gz⁴⁶

Trisquel 6.0
^{toutatis/main}

coq

8.3.pl4 (8.3.pl4+dfsg-1)

Maintainers:
Category:
- universe/devel
Homepage:
- http://coq.inria.fr/⁴⁶

Trisquel 7.0
^belenos/main

coq

8.4pl3 (8.4pl3dfsg-1)

Maintainers:
Category:
- universe/devel
Homepage:
- http://coq.inria.fr/⁴⁶

Trisquel 8.0
^flidas/main

coq

8.4pl4 (8.4pl4dfsg-3build2)

Maintainers:
Category:
- universe/devel
Homepage:
- http://coq.inria.fr/⁴⁶

Trisquel 9.0
^etiona/main

coq

8.6 (8.6-5build1)

Ubuntu 12.04
^{precise/universe}

coq

8.3.pl4 (8.3.pl4+dfsg-1)

Ubuntu 14.04
^{trusty/universe}

coq

8.4pl3 (8.4pl3dfsg-1)

Ubuntu 16.04
^{xenial/universe}

coq

8.4pl4 (8.4pl4dfsg-3build2)

Ubuntu 18.04
^{bionic/universe}

coq

8.6 (8.6-5build1)

Ubuntu 20.04
^{focal/universe}

coq

8.11.0 (8.11.0-1)

Ubuntu 20.10
^{groovy/universe}

coq

8.12.0 (8.12.0-3build1)

Void Linux x86_64
^x86_64

coq

8.13.0 (8.13.0_1)

Summary:
Proof assistant written in OCaml
Maintainer:
- leah@vuxu.org
License:
- LGPL-2.1-only
Package-related links:
- Port directory in git repo
- Template file
Homepage:
- https://coq.inria.fr/⁴⁶

Wikidata

Coq

8.13.0

Summary:
proof assistant
License:
- GNU Lesser General Public License
Package-related links:
- Wikidata item
Homepage:
- https://coq.inria.fr/⁴⁶

Packages for coq

coq

coq-doc

coq-emacs

coq

coq

coq-doc

coqide

The Coq proof assistant

coq

coq

coq

coq

coq

coq

coq

coq

coq

coq

math/coq

math/coq

math/coq

math/coq

math/coq

dev-lang/coq

dev-lang/coq

dev-lang/coq

coq

coq

coq

coq

coq

coq

coq

coq

coq

coq

coq

coq

math/coq

math/coq

math/coq

math/coq

math/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

coq

coq

coq

coq-doc

coqide

coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

coq

coq

coq

coq

coq

coq

coq-doc

coqide

coq

coq-doc

coqide

coq

coq-doc

coqide

coq

coq