coq packages - Repology

152 package(s) known

Alpine Linux Edge
^testing

coq

8.13.2 (8.13.2-r0)

Summary:
A formal proof management system
Maintainer:
- info@mobile-stream.com
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

Alpine Linux Edge
^testing

coq-doc

8.13.2 (8.13.2-r0)

Summary:
A formal proof management system (documentation)
Maintainer:
- info@mobile-stream.com
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log (raw)⁴⁶

AOSC

coq

8.10.1

Summary:
Formal proof management system
Maintainer:
- fallback-mnt-aosc@repology
Category:
- science
Links(s):
- Package page⁴⁶
- Package sources⁴⁶

Arch
^community

coq

8.14.0 (8.14.0-2)

Summary:
Formal proof management system
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Arch
^community

coq-doc

8.14.0 (8.14.0-2)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Arch
^community

coqide

8.14.0 (8.14.0-2)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Chocolatey

The Coq proof assistant

8.13.1

Summary:
An interactive theorem proof assistant.
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Debian 8
^jessie/main

coq

8.4pl4dfsg (8.4pl4dfsg-1)

Maintainers:
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package statistics⁴⁶

Debian 9
^stretch/main

coq

8.6 (8.6-4)

Maintainers:
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package statistics⁴⁶

Debian 10
^buster/main

coq

8.9.0 (8.9.0-1)

Maintainers:
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶
- Package statistics⁴⁶

Debian 11
^{bullseye/main}

coq

8.12.0 (8.12.0-3)

Maintainers:
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status
- Package statistics⁴⁶

Debian 12
^{bookworm/main}

coq

8.12.0 (8.12.0-3)

Maintainers:
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status
- Package statistics⁴⁶

Debian Stable
^stable/main

coq

8.12.0 (8.12.0-3)

Maintainers:
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶
- Package statistics⁴⁶

Debian Testing
^testing/main

coq

8.12.0 (8.12.0-3)

Maintainers:
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶
- Package statistics⁴⁶

Debian Unstable
^sid/main

coq

8.12.0 (8.12.0-3)

Maintainers:
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status
- Package statistics⁴⁶

Deepin
^main

coq

8.9.0 (8.9.0-1)

Devuan 1.0
^jessie/main

coq

8.4pl4dfsg (8.4pl4dfsg-1)

Devuan 2.0
^ascii/main

coq

8.6 (8.6-4)

Devuan 3.0
^beowulf/main

coq

8.9.0 (8.9.0-1)

Devuan 4.0
^{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_6,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log⁴⁶

DPorts

math/coq

8.6 (8.6_6,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log⁴⁶

DPorts

math/coq

8.6 (8.6_6,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log⁴⁶

DPorts

math/coq

8.6 (8.6_6,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log⁴⁶

DPorts

math/coq

8.6 (8.6_6,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Build log⁴⁶

Exherbo
^{ocaml-unofficial}

dev-lang/coq

8.5-scm

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Exherbo
^{ocaml-unofficial}

dev-lang/coq

scm

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Exherbo
^{ocaml-unofficial}

dev-lang/coq

8.5-p2

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶

Fedora 26
^release

coq

8.6 (8.6-2.fc26)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 27
^release

coq

8.6.1 (8.6.1-1.fc27)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 28
^release

coq

8.7.1 (8.7.1-2.fc28)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 29
^release

coq

8.7.1 (8.7.1-7.fc29)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 30
^release

coq

8.8.2 (8.8.2-2.fc30)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 31
^release

coq

8.9.1 (8.9.1-4.fc31)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 31
^updates

coq

8.9.1 (8.9.1-5.fc31)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 32
^updates

coq

8.11.2 (8.11.2-1.fc32)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 32
^release

coq

8.11.0 (8.11.0-1.fc32)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 33
^updates

coq

8.12.2 (8.12.2-1.fc33)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 33
^release

coq

8.12.0 (8.12.0-3.fc33.1)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 34
^updates

coq

8.13.2 (8.13.2-1.fc34)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 34
^release

coq

8.13.1 (8.13.1-1.fc34)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora 35
^development

coq

8.13.2 (8.13.2-3.fc35)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Fedora Rawhide

coq

8.14.0 (8.14.0-1.fc36)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_7,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_7,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_7,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_7,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_7,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶

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
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

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
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/coq

8.13.0

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/coq

8.13.0 (8.13.0-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/coq

8.12.0 (8.12.0-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/coq

8.12.0 (8.12.0-r2)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/coq

8.11.2 (8.11.2-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/coq

8.11.2

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

GNU Guix

coq

8.13.2

Summary:
Proof assistant for higher-order logic
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶

Homebrew

coq

8.14.0

Summary:
Proof assistant for higher-order logic
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Hyperbola
^community

coq

8.6 (8.6-5)

Summary:
Formal proof management system
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Hyperbola
^community

coq-doc

8.6 (8.6-5)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Hyperbola
^community

coqide

8.6 (8.6-5)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Kali Linux Rolling
^main

coq

8.12.0 (8.12.0-3)

LiGurOS stable

sci-mathematics/coq

8.13.0 (8.13.0-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS stable

sci-mathematics/coq

8.13.0

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS stable

sci-mathematics/coq

8.12.0 (8.12.0-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS stable

sci-mathematics/coq

8.12.0 (8.12.0-r2)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS stable

sci-mathematics/coq

8.11.2

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS stable

sci-mathematics/coq

8.11.2 (8.11.2-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS develop

sci-mathematics/coq

8.13.0 (8.13.0-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS develop

sci-mathematics/coq

8.13.0

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS develop

sci-mathematics/coq

8.12.0 (8.12.0-r2)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS develop

sci-mathematics/coq

8.12.0 (8.12.0-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS develop

sci-mathematics/coq

8.11.2 (8.11.2-r1)

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

LiGurOS develop

sci-mathematics/coq

8.11.2

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Links(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Linuxbrew

coq

8.14.0

Summary:
Proof assistant for higher-order logic
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

MacPorts

coq

8.13.2

Summary:
Proof assistant for higher-order logic
Maintainers:
- pmetzger@macports
- pmetzger@github
Category:
- lang
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Mageia 7
^core/release

coq

8.7.1 (8.7.1-1.mga7)

Summary:
The Coq Proof Assistant
Category:
- Sciences/Computer science
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Mageia 8
^core/release

coq

8.11.0 (8.11.0-4.mga8)

Summary:
The Coq Proof Assistant
Category:
- Sciences/Computer science
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶

Mageia Cauldron
^core/release

coq

8.13.2 (8.13.2-2.mga9)

Summary:
The Coq Proof Assistant
Category:
- Sciences/Computer science
License:
- LGPLv2
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Manjaro Stable
^community

coq

8.13.2 (8.13.2-2)

Summary:
Formal proof management system
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Stable
^community

coq-doc

8.13.2 (8.13.2-2)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Stable
^community

coqide

8.13.2 (8.13.2-2)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Staging
^community

coq

8.13.2 (8.13.2-2)

Summary:
Formal proof management system
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Staging
^community

coq-doc

8.13.2 (8.13.2-2)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Staging
^community

coqide

8.13.2 (8.13.2-2)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Testing
^community

coq

8.14.0 (8.14.0-1)

Summary:
Formal proof management system
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Testing
^community

coq-doc

8.14.0 (8.14.0-1)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Testing
^community

coqide

8.14.0 (8.14.0-1)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Unstable
^community

coq

8.14.0 (8.14.0-2)

Summary:
Formal proof management system
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Unstable
^community

coq-doc

8.14.0 (8.14.0-2)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

Manjaro Unstable
^community

coqide

8.14.0 (8.14.0-2)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶

nixpkgs stable 21.05

coq

8.13.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.13.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.13.2

Summary:
Coq proof assistant
Maintainers:
Category:
- coqPackages
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.12.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.11.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.10.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.9.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.8.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.7.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.6.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs stable 21.05

coq

8.5pl3

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.14.0

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.13.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.13.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.13.2

Summary:
Coq proof assistant
Maintainers:
Category:
- coqPackages
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.12.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.11.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.10.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.9.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.8.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.7.2

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.6.1

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

nixpkgs unstable

coq

8.5pl3

Summary:
Coq proof assistant
Maintainers:
License:
- LGPL-2.1
Links(s):
- Upstream homepage⁴⁶
- Package recipe⁴⁶

OpenBSD Ports

math/coq

8.12.2

Summary:
proof assistant based on a typed lambda calculus
Maintainer:
- yozo@v007.vaio.ne.jp
Category:
- math
Links(s):
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶
- Package sources⁴⁶

OpenPKG

coq

8.6

Summary:
Coq Poof Assistent
Category:
- Algorithm
License:
- LGPL
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶

openSUSE Tumbleweed
^src-oss

coq

8.14.0 (8.14.0-1.1)

Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
- Productivity/Scientific/Math
License:
- LGPL-2.1-only
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶
- Package page⁴⁶

openSUSE Science Tumbleweed

coq

8.14.0 (8.14.0-36.4)

Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
- Productivity/Scientific/Math
License:
- LGPL-2.1-only
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶

Parabola
^community

coq

8.14.0 (8.14.0-2)

Summary:
Formal proof management system
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Parabola
^community

coq-doc

8.14.0 (8.14.0-2)

Summary:
HTML and PDF documentation for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Parabola
^community

coqide

8.14.0 (8.14.0-2)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Pardus 17
^main

coq

8.6 (8.6-4)

Pardus 19
^main

coq

8.9.0 (8.9.0-1)

Pardus 21
^main

coq

8.12.0 (8.12.0-3)

Parrot
^main

coq

8.12.0 (8.12.0-3)

pkgsrc current

lang/coq

8.12.2 (8.12.2nb2)

Summary:
Theorem prover which extracts programs from proofs
Maintainer:
- dholland@netbsd.org
Category:
- lang
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe (raw)⁴⁶

PLD Linux

coq

8.13.1 (8.13.1-2)

Links(s):
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

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.9.0 (8.9.0-1)

Raspbian Stable
^main

coq

8.12.0 (8.12.0-3)

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+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Rosa 2016.1
^{contrib/release}

coq

8.4.pl4 (8.4.pl4-3)

License:
- LGPLv2+
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Scoop
^main

coq

2021.02.1

License:
- LGPL-2.1-only
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Upstream download⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

SlackBuilds

academic/coq

8.9.0

Maintainer:
- nick@smallbone.se
Category:
- academic
Links(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Package page⁴⁶
- Package recipe (raw)⁴⁶

Trisquel 6.0
^{toutatis/main}

coq

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

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶

Trisquel 7.0
^belenos/main

coq

8.4pl3dfsg (8.4pl3dfsg-1)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶

Trisquel 8.0
^flidas/main

coq

8.4pl4dfsg (8.4pl4dfsg-3build2)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶

Trisquel 9.0
^etiona/main

coq

8.6 (8.6-5build1)

Trisquel 10.0
^nabia/main

coq

8.11.0 (8.11.0-1)

Ubuntu 14.04
^{trusty/universe}

coq

8.4pl3dfsg (8.4pl3dfsg-1)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 16.04
^{xenial/universe}

coq

8.4pl4dfsg (8.4pl4dfsg-3build2)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 18.04
^{bionic/universe}

coq

8.6 (8.6-5build1)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 20.04
^{focal/universe}

coq

8.11.0 (8.11.0-1)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 20.10
^{groovy/universe}

coq

8.12.0 (8.12.0-3build1)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 21.04
^{hirsute/universe}

coq

8.12.0 (8.12.0-3build3)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 21.10
^{impish/universe}

coq

8.12.0 (8.12.0-3build3)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 22.04
^{jammy/universe}

coq

8.12.0 (8.12.0-3build3)

Maintainers:
Category:
- universe/devel
Links(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Void Linux x86_64
^x86_64

coq

8.14.0 (8.14.0_1)

Summary:
Proof assistant written in OCaml
Maintainer:
- leah@vuxu.org
License:
- LGPL-2.1-only
Links(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Wikidata

Coq

8.13.2

Summary:
proof assistant
License:
- GNU Lesser General Public License, version 2.1
Links(s):
- Upstream homepage⁴⁶
- Upstream repository⁴⁶
- Package page⁴⁶

Packages for coq

coq

coq-doc

coq

coq

coq-doc

coqide

The Coq proof assistant

coq

coq

coq

coq

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

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

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

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

coq

coq

coq

coq