coq packages - Repology

191 package(s) known

Alpine Linux Edge
^testing

coq

8.16.0 (8.16.0-r0)

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

Alpine Linux Edge
^testing

coq-doc

8.16.0 (8.16.0-r0)

Summary:
A formal proof management system (documentation)
Maintainer:
- info@mobile-stream.com
License:
- LGPL-2.1-or-later
Link(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
Link(s):
- Package page⁴⁶
- Package sources⁴⁶

Arch
^community

coq

8.16.0 (8.16.0-2)

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

Arch
^community

coq-doc

8.16.0 (8.16.0-2)

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

Arch
^community

coqide

8.16.0 (8.16.0-2)

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

Arch Linux 32 i686
^community

coq

8.12.0 (8.12.0-2.0)

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

Arch Linux 32 i686
^community

coq-doc

8.12.0 (8.12.0-2.0)

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

Arch Linux 32 i686
^community

coqide

8.12.0 (8.12.0-2.0)

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

Arch Linux 32 pentium4
^community

coq

8.12.0 (8.12.0-2.0)

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

Arch Linux 32 pentium4
^community

coq-doc

8.12.0 (8.12.0-2.0)

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

Arch Linux 32 pentium4
^community

coqide

8.12.0 (8.12.0-2.0)

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

Arch Linux ARM aarch64
^community

coq

8.16.0 (8.16.0-2)

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

Arch Linux ARM aarch64
^community

coq-doc

8.16.0 (8.16.0-2)

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

Arch Linux ARM aarch64
^community

coqide

8.16.0 (8.16.0-2)

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

Arch Linux ARM armv7h
^community

coq

8.16.0 (8.16.0-2)

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

Arch Linux ARM armv7h
^community

coq-doc

8.16.0 (8.16.0-2)

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

Arch Linux ARM armv7h
^community

coqide

8.16.0 (8.16.0-2)

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

Chocolatey

The Coq proof assistant

8.13.1

Summary:
An interactive theorem proof assistant.
Link(s):
- Upstream homepage⁴⁶
- Upstream repository⁴⁶
- Package sources⁴⁶
- Documentation⁴⁶
- Upstream issue tracker⁴⁶
- Discussion⁴⁶
- Package page⁴⁶

Debian 8
^jessie/main

coq

8.4pl4dfsg (8.4pl4dfsg-1)

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

Debian 9
^stretch/main

coq

8.6 (8.6-4)

Maintainers:
Category:
- math
Link(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
Link(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
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package issue tracker⁴⁶
- Package build status
- Package statistics⁴⁶

Debian 12
^{bookworm/main}

coq

8.16.0 (8.16.0+dfsg-1)

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

Debian Unstable
^sid/main

coq

8.16.1 (8.16.1+dfsg-1)

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

Debian Unstable
^sid/main

coq

8.15.0 (8.15.0+dfsg-1)

Maintainers:
Category:
- math
Link(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)

Maintainers:
Link(s):
- Upstream homepage⁴⁶

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.16.1 (8.16.1+dfsg-1)

DPorts

math/coq

8.6 (8.6_12,3)

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

DPorts

math/coq

8.6 (8.6_12,3)

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

DPorts

math/coq

8.6 (8.6_12,3)

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

DPorts

math/coq

8.6 (8.6_12,3)

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

DPorts

math/coq

8.6 (8.6_12,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Link(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
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶

Exherbo
^{ocaml-unofficial}

dev-lang/coq

scm

Summary:
A proof assistant
Maintainer:
- fallback-mnt-exherbo@repology
Category:
- dev-lang
Link(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
Link(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
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Other⁴⁶

Fedora 27
^release

coq

8.6.1 (8.6.1-1.fc27)

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

Fedora 28
^release

coq

8.7.1 (8.7.1-2.fc28)

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

Fedora 29
^release

coq

8.7.1 (8.7.1-7.fc29)

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

Fedora 30
^release

coq

8.8.2 (8.8.2-2.fc30)

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

Fedora 31
^release

coq

8.9.1 (8.9.1-4.fc31)

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

Fedora 31
^updates

coq

8.9.1 (8.9.1-5.fc31)

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

Fedora 32
^updates

coq

8.11.2 (8.11.2-1.fc32)

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

Fedora 32
^release

coq

8.11.0 (8.11.0-1.fc32)

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

Fedora 33
^updates

coq

8.12.2 (8.12.2-1.fc33)

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

Fedora 33
^release

coq

8.12.0 (8.12.0-3.fc33.1)

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

Fedora 34
^updates

coq

8.13.2 (8.13.2-1.fc34)

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

Fedora 34
^release

coq

8.13.1 (8.13.1-1.fc34)

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

Fedora 35
^updates

coq

8.13.2 (8.13.2-4.fc35)

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

Fedora 35
^release

coq

8.13.2 (8.13.2-3.fc35)

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

Fedora 36
^updates

coq

8.15.2 (8.15.2-2.fc36)

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

Fedora 36
^release

coq

8.15.1 (8.15.1-1.fc36)

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

Fedora 37
^updates

coq

8.16.0 (8.16.0-2.fc37)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Other⁴⁶

Fedora 37
^release

coq

8.16.0 (8.16.0-1.fc37)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Other⁴⁶

Fedora Rawhide
^development

coq

8.16.1 (8.16.1-1.fc38)

Summary:
Proof management system
Category:
- Unspecified
License:
- LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Other⁴⁶

FreeBSD Ports

math/coq

8.6 (8.6_13,3)

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

FreeBSD Ports

math/coq

8.6 (8.6_13,3)

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

FreeBSD Ports

math/coq

8.6 (8.6_13,3)

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

FreeBSD Ports

math/coq

8.6 (8.6_13,3)

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

FreeBSD Ports

math/coq

8.6 (8.6_13,3)

Summary:
Theorem prover based on lambda-C
Maintainer:
- hrs@freebsd.org
Category:
- math
Link(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
Link(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
Link(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Gentoo

sci-mathematics/coq

8.16.1

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

Gentoo

sci-mathematics/coq

8.16.0

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

Gentoo

sci-mathematics/coq

8.15.2

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Link(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
Link(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
Link(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

GNU Guix

coq

8.16.1

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

Homebrew

coq

8.16.1

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

Kali Linux Rolling
^main

coq

8.16.0 (8.16.0+dfsg-1)

LiGurOS stable

sci-mathematics/coq

8.16.0

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

LiGurOS stable

sci-mathematics/coq

8.15.2

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

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

LiGurOS develop

sci-mathematics/coq

8.16.1

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

LiGurOS develop

sci-mathematics/coq

8.16.0

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

LiGurOS develop

sci-mathematics/coq

8.15.2

Summary:
Proof assistant written in O'Caml
Maintainer:
- sci-mathematics@gentoo.org
Category:
- sci-mathematics
License:
- LGPL-2.1
Link(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
Link(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
Link(s):
- Upstream download⁴⁶
- Upstream homepage⁴⁶
- Package sources⁴⁶
- 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
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶
- Package issue tracker⁴⁶
- Package statistics⁴⁶
- Package build status⁴⁶

Mageia 7
^core/release

coq

8.7.1 (8.7.1-1.mga7)

Summary:
The Coq Proof Assistant
Category:
- Sciences/Computer science
License:
- LGPLv2
Link(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
Link(s):
- Upstream homepage⁴⁶

Mageia Cauldron
^core/release

coq

8.13.2 (8.13.2-3.mga9)

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

Manjaro Stable
^community

coq

8.16.0 (8.16.0-2)

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

Manjaro Stable
^community

coq-doc

8.16.0 (8.16.0-2)

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

Manjaro Stable
^community

coqide

8.16.0 (8.16.0-2)

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

Manjaro Testing
^community

coq

8.16.0 (8.16.0-2)

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

Manjaro Testing
^community

coq-doc

8.16.0 (8.16.0-2)

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

Manjaro Testing
^community

coqide

8.16.0 (8.16.0-2)

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

Manjaro Unstable
^community

coq

8.16.0 (8.16.0-2)

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

Manjaro Unstable
^community

coq-doc

8.16.0 (8.16.0-2)

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

Manjaro Unstable
^community

coqide

8.16.0 (8.16.0-2)

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

nixpkgs stable 21.11

coq

8.14.1

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

nixpkgs stable 21.11

coq

8.13.2

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

nixpkgs stable 21.11

coq

8.13.2

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

nixpkgs stable 21.11

coq

8.13.2

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

nixpkgs stable 21.11

coq

8.12.2

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

nixpkgs stable 21.11

coq

8.11.2

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

nixpkgs stable 21.11

coq

8.10.2

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

nixpkgs stable 21.11

coq

8.9.1

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

nixpkgs stable 21.11

coq

8.8.2

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

nixpkgs stable 21.11

coq

8.7.2

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

nixpkgs stable 21.11

coq

8.6.1

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

nixpkgs stable 21.11

coq

8.5pl3

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

nixpkgs stable 22.05

coq

8.16+rc1

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

nixpkgs stable 22.05

coq

8.15.2

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

nixpkgs stable 22.05

coq

8.15.2

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

nixpkgs stable 22.05

coq

8.15.2

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

nixpkgs stable 22.05

coq

8.14.1

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

nixpkgs stable 22.05

coq

8.13.2

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

nixpkgs stable 22.05

coq

8.12.2

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

nixpkgs stable 22.05

coq

8.11.2

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

nixpkgs stable 22.05

coq

8.10.2

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

nixpkgs stable 22.05

coq

8.9.1

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

nixpkgs stable 22.05

coq

8.8.2

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

nixpkgs stable 22.05

coq

8.7.2

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

nixpkgs stable 22.05

coq

8.6.1

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

nixpkgs stable 22.05

coq

8.5pl3

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

nixpkgs stable 22.11

coq

8.16.0

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

nixpkgs stable 22.11

coq

8.16.0

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

nixpkgs stable 22.11

coq

8.16.0

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

nixpkgs stable 22.11

coq

8.15.2

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

nixpkgs stable 22.11

coq

8.14.1

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

nixpkgs stable 22.11

coq

8.13.2

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

nixpkgs stable 22.11

coq

8.12.2

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

nixpkgs stable 22.11

coq

8.11.2

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

nixpkgs stable 22.11

coq

8.10.2

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

nixpkgs stable 22.11

coq

8.9.1

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

nixpkgs stable 22.11

coq

8.8.2

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

nixpkgs stable 22.11

coq

8.7.2

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

nixpkgs stable 22.11

coq

8.6.1

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

nixpkgs stable 22.11

coq

8.5pl3

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

nixpkgs unstable

coq

8.16.0

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

nixpkgs unstable

coq

8.16.0

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

nixpkgs unstable

coq

8.16.0

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

nixpkgs unstable

coq

8.15.2

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

nixpkgs unstable

coq

8.14.1

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

nixpkgs unstable

coq

8.13.2

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

nixpkgs unstable

coq

8.12.2

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

nixpkgs unstable

coq

8.11.2

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

nixpkgs unstable

coq

8.10.2

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

nixpkgs unstable

coq

8.9.1

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

nixpkgs unstable

coq

8.8.2

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

nixpkgs unstable

coq

8.7.2

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

nixpkgs unstable

coq

8.6.1

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

nixpkgs unstable

coq

8.5pl3

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

OpenBSD Ports

math/coq

8.13.2 (8.13.2p2)

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

OpenPKG

coq

8.6

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

openSUSE Leap 15.4
^main/oss

coq

8.13.2 (8.13.2-bp154.1.44)

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

openSUSE Leap 15.5
^main/oss

coq

8.13.2 (8.13.2-bp155.2.7)

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

openSUSE Tumbleweed
^src-oss

coq

8.16.1 (8.16.1-1.1)

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

openSUSE science Tumbleweed

coq

8.16.1 (8.16.1-46.3)

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

openSUSE science Tumbleweed

coq

8.15.2 (8.15.2-42.62)

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

Parabola
^community

coq

8.16.0 (8.16.0-2)

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

Parabola
^community

coq-doc

8.16.0 (8.16.0-2)

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

Parabola
^community

coqide

8.16.0 (8.16.0-2)

Summary:
GTK-based graphical interface for the Coq proof assistant
License:
- GPL
Link(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
^parrot/main

coq

8.12.0 (8.12.0-3)

Parrot
^{parrot-updates/main}

coq

8.12.0 (8.12.0-3)

pkgsrc current

lang/coq

8.15.2 (8.15.2nb3)

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

PLD Linux

coq

8.15.0 (8.15.0-1)

Link(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.16.0 (8.16.0+dfsg-1)

Rosa 2014.1
^{contrib/release}

coq

8.4.pl4 (8.4.pl4-1)

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

Rosa 2021.1
^{contrib/release}

coq

8.15.2 (8.15.2-2)

Summary:
The Coq Proof Assistant
Maintainer:
- a.proklov@rosalinux.ru
Category:
- Sciences/Computer science
License:
- LGPLv2+
Link(s):
- Upstream homepage⁴⁶
- Package sources⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Scoop
^main

coq

2022.04.1

License:
- 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, ...
Link(s):
- Upstream homepage⁴⁶
- Upstream download⁴⁶
- Upstream download⁴⁶
- Package recipe⁴⁶
- Package recipe (raw)⁴⁶

Trisquel 6.0
^{toutatis/main}

coq

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

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

Trisquel 7.0
^belenos/main

coq

8.4pl3dfsg (8.4pl3dfsg-1)

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

Trisquel 8.0
^flidas/main

coq

8.4pl4dfsg (8.4pl4dfsg-3build2)

Maintainers:
Category:
- universe/devel
Link(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
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 16.04
^{xenial/universe}

coq

8.4pl4dfsg (8.4pl4dfsg-3build2)

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

Ubuntu 18.04
^{bionic/universe}

coq

8.6 (8.6-5build1)

Maintainers:
Category:
- universe/devel
Link(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
Link(s):
- Upstream homepage⁴⁶
- Package page⁴⁶
- Package page⁴⁶
- Package issue tracker⁴⁶
- Package build status⁴⁶

Ubuntu 22.04
^{jammy/universe}

coq

8.15.0 (8.15.0+dfsg-2)

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

Ubuntu 22.10
^{kinetic/universe}

coq

8.15.2 (8.15.2+dfsg-2)

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

Void Linux x86_64
^x86_64

coq

8.16.1 (8.16.1_1)

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

Wikidata

Coq

8.16.0

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

Packages for coq

coq

coq-doc

coq

coq

coq-doc

coqide

coq

coq-doc

coqide

coq

coq-doc

coqide

coq

coq-doc

coqide

coq

coq-doc

coqide

The Coq proof assistant

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

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

coq

coq

coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq

sci-mathematics/coq