Toggle navigation
Projects
Maintainers
Repositories
Tools
Security
News
Docs
Versions
Packages
Information
History
Related
Badges
Report
Packages for
coq
203
package(s) known
Alpine Linux Edge
testing
coq
8.18.0
(8.18.0-r0)
Summary:
Formal proof management system
Maintainer:
info@mobile-stream.com
License:
LGPL-2.1-or-later
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
Alpine Linux Edge
testing
coq-doc
8.18.0
(8.18.0-r0)
Summary:
Formal proof management system (documentation)
Maintainer:
info@mobile-stream.com
License:
LGPL-2.1-or-later
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Build log (raw)
ok
,
no IPv6
Upstream homepage
ok
Arch
extra
coq
8.16.1
(8.16.1-1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
Arch
extra
coq-doc
8.16.1
(8.16.1-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
Arch
extra
coqide
8.16.1
(8.16.1-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream homepage
ok
Arch Linux 32 i686
extra
coq
8.16.1
(8.16.1-1.1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Arch Linux 32 i686
extra
coq-doc
8.16.1
(8.16.1-1.1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Arch Linux 32 i686
extra
coqide
8.16.1
(8.16.1-1.1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Arch Linux 32 pentium4
extra
coq
8.16.1
(8.16.1-1.1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Arch Linux 32 pentium4
extra
coq-doc
8.16.1
(8.16.1-1.1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Arch Linux 32 pentium4
extra
coqide
8.16.1
(8.16.1-1.1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Arch Linux ARM aarch64
community
coq
8.16.1
(8.16.1-1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
ok
Arch Linux ARM aarch64
extra
coq
8.16.1
(8.16.1-1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
ok
Arch Linux ARM aarch64
extra
coq-doc
8.16.1
(8.16.1-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
,
no IPv6
Package recipe
dead
(see archive.org)
Upstream homepage
ok
Arch Linux ARM aarch64
community
coq-doc
8.16.1
(8.16.1-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
,
no IPv6
Package recipe
dead
(see archive.org)
Upstream homepage
ok
Arch Linux ARM aarch64
community
coqide
8.16.1
(8.16.1-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
ok
Arch Linux ARM aarch64
extra
coqide
8.16.1
(8.16.1-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Upstream homepage
ok
Chocolatey
The Coq proof assistant
8.13.1
Summary:
An interactive theorem proof assistant.
Link(s):
Package page
ok
Upstream homepage
ok
Upstream repository
ok
,
no IPv6
Package sources
ok
,
no IPv6
Documentation
ok
Upstream issue tracker
ok
Discussion
dead
(see archive.org)
Debian 10
buster/main
coq
8.9.0
(8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian 11
bullseye/main
coq
8.12.0
(8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian 12
bookworm/main
coq
8.16.1
(8.16.1+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian 13
trixie/main
coq
8.17.0
(8.17.0+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
math
Link(s):
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Debian Unstable
sid/main
coq
8.17.0
(8.17.0+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package issue tracker
ok
Package build status
ok
Package statistics
ok
Upstream homepage
redir
Deepin
main
coq
8.9.0
(8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Link(s):
Upstream homepage
redir
Devuan 3.0
beowulf/main
coq
8.9.0
(8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Devuan 4.0
chimaera/main
coq
8.12.0
(8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Devuan Unstable
unstable/main
coq
8.17.0
(8.17.0+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Exherbo
ocaml-unofficial
dev-lang/coq
8.5-scm
Summary:
A proof assistant
Maintainer:
fallback-mnt-exherbo@repology
Category:
dev-lang
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
redir
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Exherbo
ocaml-unofficial
dev-lang/coq
scm
Summary:
A proof assistant
Maintainer:
fallback-mnt-exherbo@repology
Category:
dev-lang
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
redir
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Exherbo
ocaml-unofficial
dev-lang/coq
8.5-p2
Summary:
A proof assistant
Maintainer:
fallback-mnt-exherbo@repology
Category:
dev-lang
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
redir
Upstream download
dead
(see archive.org)
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Fedora 26
release
coq
8.6
(8.6-2.fc26)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 27
release
coq
8.6.1
(8.6.1-1.fc27)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 28
release
coq
8.7.1
(8.7.1-2.fc28)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 29
release
coq
8.7.1
(8.7.1-7.fc29)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 30
release
coq
8.8.2
(8.8.2-2.fc30)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 31
release
coq
8.9.1
(8.9.1-4.fc31)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 31
updates
coq
8.9.1
(8.9.1-5.fc31)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 32
updates
coq
8.11.2
(8.11.2-1.fc32)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 32
release
coq
8.11.0
(8.11.0-1.fc32)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 33
updates
coq
8.12.2
(8.12.2-1.fc33)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 33
release
coq
8.12.0
(8.12.0-3.fc33.1)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 34
updates
coq
8.13.2
(8.13.2-1.fc34)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 34
release
coq
8.13.1
(8.13.1-1.fc34)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 35
release
coq
8.13.2
(8.13.2-3.fc35)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 35
updates
coq
8.13.2
(8.13.2-4.fc35)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 36
updates
coq
8.15.2
(8.15.2-2.fc36)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 36
release
coq
8.15.1
(8.15.1-1.fc36)
Summary:
Proof management system
Category:
Unspecified
License:
LGPLv2
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 37
updates
coq
8.16.1
(8.16.1-1.fc37)
Summary:
Proof management system
Category:
Unspecified
License:
LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
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):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 38
updates
coq
8.17.1
(8.17.1-1.fc38)
Summary:
Proof management system
Category:
Unspecified
License:
LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 38
release
coq
8.16.1
(8.16.1-3.fc38)
Summary:
Proof management system
Category:
Unspecified
License:
LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora 39
development
coq
8.17.1
(8.17.1-5.fc39)
Summary:
Proof management system
Category:
Unspecified
License:
LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
Fedora Rawhide
development
coq
8.17.1
(8.17.1-6.fc40)
Summary:
Proof management system
Category:
Unspecified
License:
LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Other
ok
,
no IPv6
Upstream homepage
ok
FreeBSD Ports
math/coq
8.6
(8.6_19,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
FreeBSD Ports
math/coq
8.6
(8.6_19,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
FreeBSD Ports
math/coq
8.6
(8.6_19,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
FreeBSD Ports
math/coq
8.6
(8.6_19,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
FreeBSD Ports
math/coq
8.6
(8.6_19,3)
Summary:
Theorem prover based on lambda-C
Maintainer:
hrs@freebsd.org
Category:
math
Link(s):
Package page
ok
Package sources
ok
Package recipe (raw)
ok
Package issue tracker
ok
Upstream homepage
ok
Gentoo
sci-mathematics/coq
8.18.0
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
redir
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
Gentoo
sci-mathematics/coq
8.17.1
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Link(s):
Package page
ok
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
redir
Upstream homepage
ok
,
no IPv6
Upstream homepage
ok
,
no IPv6
GNU Guix
coq
8.16.1
Summary:
Proof assistant for higher-order logic
Link(s):
Package page
ok
Package recipe
ok
Upstream homepage
ok
Upstream download
ok
,
no IPv6
Homebrew
coq
HEAD
Summary:
Proof assistant for higher-order logic
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
ok
Upstream repository
redir
,
no IPv6
Homebrew
coq
8.18.0
Summary:
Proof assistant for higher-order logic
Link(s):
Package page
ok
Package recipe
dead
(see archive.org)
Package recipe (raw)
dead
(see archive.org)
Upstream homepage
ok
Upstream download
ok
,
no IPv6
Kali Linux Rolling
main
coq
8.17.0
(8.17.0+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
LiGurOS stable
sci-mathematics/coq
8.17.1
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
redir
Upstream homepage
ok
,
no IPv6
LiGurOS stable
sci-mathematics/coq
8.17.0
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
redir
Upstream homepage
ok
,
no IPv6
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):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
redir
LiGurOS develop
sci-mathematics/coq
8.18.0
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
redir
Upstream homepage
ok
,
no IPv6
LiGurOS develop
sci-mathematics/coq
8.17.1
Summary:
Proof assistant written in O'Caml
Maintainer:
sci-mathematics@gentoo.org
Category:
sci-mathematics
License:
LGPL-2.1
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
Upstream download
ok
,
no IPv6
Upstream homepage
redir
Upstream homepage
ok
,
no IPv6
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):
Package page
ok
,
no IPv6
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Package issue tracker
ok
Package statistics
ok
,
no IPv6
Package build status
ok
,
no IPv6
Upstream homepage
ok
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):
Package page
ok
,
no IPv6
Upstream homepage
ok
Mageia cauldron
core/release
coq
8.16.1
(8.16.1-1.mga9)
Summary:
The Coq Proof Assistant
Category:
Sciences/Computer science
License:
LGPL-2.1-only AND MIT AND BSD-3-Clause
Link(s):
Package page
ok
,
no IPv6
Upstream homepage
ok
Manjaro Stable
extra
coq
8.16.1
(8.16.1-1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Upstream homepage
ok
Manjaro Stable
extra
coq-doc
8.16.1
(8.16.1-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Upstream homepage
ok
Manjaro Stable
extra
coqide
8.16.1
(8.16.1-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Upstream homepage
ok
Manjaro Testing
extra
coq
8.16.1
(8.16.1-1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Upstream homepage
ok
Manjaro Testing
extra
coq-doc
8.16.1
(8.16.1-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Upstream homepage
ok
Manjaro Testing
extra
coqide
8.16.1
(8.16.1-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Upstream homepage
ok
Manjaro Unstable
extra
coq
8.16.1
(8.16.1-1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Upstream homepage
ok
Manjaro Unstable
extra
coq-doc
8.16.1
(8.16.1-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Upstream homepage
ok
Manjaro Unstable
extra
coqide
8.16.1
(8.16.1-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Upstream homepage
ok
nixpkgs stable 21.11
coq
8.14.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.13.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.13.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
Category:
coqPackages
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.13.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.12.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.10.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.9.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.8.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.7.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.6.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 21.11
coq
8.5pl3
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.16+rc1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.15.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
Category:
coqPackages
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.15.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.15.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.14.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.13.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.12.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.10.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.9.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.8.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.7.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.6.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.05
coq
8.5pl3
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.16.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.16.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.16.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
Category:
coqPackages
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.15.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.14.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.13.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.12.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.10.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.9.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.8.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.7.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.6.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 22.11
coq
8.5pl3
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@univ-paris-diderot.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.17.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.17.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
Category:
coqPackages
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.17.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.16.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.15.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.14.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.13.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.12.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.10.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.9.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.8.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.7.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.6.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.05
coq
8.5pl3
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
redir
nixpkgs stable 23.11
coq
8.18.0
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.18.0
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
Category:
coqPackages
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.18.0
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.17.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.16.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.15.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.14.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.13.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.12.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.10.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.9.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.8.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.7.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.6.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs stable 23.11
coq
8.5pl3
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.18.0
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.18.0
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
Category:
coqPackages
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.18.0
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.17.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.16.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.15.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.14.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.13.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.12.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.11.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.10.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.9.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.8.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.7.2
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.6.1
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
nixpkgs unstable
coq
8.5pl3
Summary:
Coq proof assistant
Maintainers:
roconnor@theorem.ca
aseipp@pobox.com
vincent.laporte@gmail.com
theo.zimmermann@telecom-paris.fr
License:
LGPL-2.1
Link(s):
Package recipe
ok
,
no IPv6
Upstream homepage
ok
OpenBSD Ports
math/coq
8.13.2
(8.13.2p4)
Summary:
proof assistant based on a typed lambda calculus
Maintainer:
yozo@v007.vaio.ne.jp
Category:
math
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Upstream homepage
ok
Upstream homepage
ok
,
no IPv6
Upstream download
ok
,
no IPv6
OpenPKG
coq
8.6
Summary:
Coq Poof Assistent
Category:
Algorithm
License:
LGPL
Link(s):
Upstream homepage
ok
Upstream download
dead
(see archive.org)
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):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
openSUSE Leap 15.5
main/oss
coq
8.13.2
(8.13.2-bp155.2.13)
Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
Productivity/Scientific/Math
License:
LGPL-2.1-only
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
openSUSE Tumbleweed
src-oss
coq
8.18.0
(8.18.0-3.1)
Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
Productivity/Scientific/Math
License:
LGPL-2.1-only
Link(s):
Package page
ok
Package recipe
ok
Package page
ok
Upstream homepage
ok
openSUSE science Tumbleweed
coq
8.18.0
(8.18.0-62.29)
Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
Productivity/Scientific/Math
License:
LGPL-2.1-only
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
openSUSE science Tumbleweed
coq
8.18.0
(8.18.0-62.30)
Summary:
Proof Assistant based on the Calculus of Inductive Constructions
Category:
Productivity/Scientific/Math
License:
LGPL-2.1-only
Link(s):
Package page
ok
Package page
ok
Package recipe
ok
Upstream homepage
ok
Parabola
extra
coq
8.16.1
(8.16.1-1)
Summary:
Formal proof management system
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Parabola
extra
coq-doc
8.16.1
(8.16.1-1)
Summary:
HTML and PDF documentation for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Parabola
extra
coqide
8.16.1
(8.16.1-1)
Summary:
GTK-based graphical interface for the Coq proof assistant
License:
GPL
Link(s):
Package page
ok
Upstream homepage
ok
Pardus 21
main
coq
8.12.0
(8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Parrot
parrot/main
coq
8.12.0
(8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Parrot
parrot-updates/main
coq
8.12.0
(8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
pkgsrc current
lang/coq
8.15.2
(8.15.2nb11)
Summary:
Theorem prover which extracts programs from proofs
Maintainer:
dholland@netbsd.org
Category:
lang
Link(s):
Package page
ok
Package sources
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
ok
PLD Linux
coq
8.15.0
(8.15.0-1)
Link(s):
Package sources
ok
Package recipe
ok
Package recipe (raw)
ok
PureOS Amber
coq
8.9.0
(8.9.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
PureOS landing
coq
8.16.1
(8.16.1+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Raspbian Oldstable
main
coq
8.12.0
(8.12.0-3)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Raspbian Stable
main
coq
8.16.1
(8.16.1+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Raspbian Testing
main
coq
8.17.0
(8.17.0+dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
math
Link(s):
Upstream homepage
redir
Rosa 2014.1
contrib/release
coq
8.4.pl4
(8.4.pl4-1)
License:
LGPLv2+
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
redir
Rosa 2016.1
contrib/release
coq
8.4.pl4
(8.4.pl4-3)
License:
LGPLv2+
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
redir
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):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
,
no IPv6
Upstream homepage
redir
Scoop
main
coq
2023.03.0
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):
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
Upstream download
ok
,
no IPv6
Upstream download
ok
,
no IPv6
Trisquel 10.0
nabia/main
coq
8.11.0
(8.11.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
Upstream homepage
redir
Trisquel 11.0
aramo/main
coq
8.15.0
(8.15.0+dfsg-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
Upstream homepage
redir
Ubuntu 14.04
trusty/universe
coq
8.4pl3dfsg
(8.4pl3dfsg-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 16.04
xenial/universe
coq
8.4pl4dfsg
(8.4pl4dfsg-3build2)
Maintainers:
debian-ocaml-maint@lists.debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 18.04
bionic/universe
coq
8.6
(8.6-5build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
gareuselesinge@debian.org
glondu@debian.org
smimram@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 20.04
focal/universe
coq
8.11.0
(8.11.0-1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
gareuselesinge@debian.org
glondu@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 22.04
jammy/universe
coq
8.15.0
(8.15.0+dfsg-2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 23.04
lunar/universe
coq
8.16.1
(8.16.1+dfsg-1build2)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Ubuntu 23.10
mantic/universe
coq
8.17.0
(8.17.0+dfsg-1build1)
Maintainers:
debian-ocaml-maint@lists.debian.org
bbaren@debian.org
glondu@debian.org
jpuydt@debian.org
treinen@debian.org
Category:
universe/devel
Link(s):
Package page
ok
,
no IPv6
Package page
ok
Package issue tracker
ok
Package build status
ok
Upstream homepage
redir
Void Linux x86_64
x86_64
coq
8.18.0
(8.18.0_1)
Summary:
Proof assistant written in OCaml
Maintainer:
leah@vuxu.org
License:
LGPL-2.1-only
Link(s):
Package sources
ok
,
no IPv6
Package recipe
ok
,
no IPv6
Package recipe (raw)
ok
Upstream homepage
ok
Wikidata
Coq
8.18.0
Summary:
proof assistant
License:
GNU Lesser General Public License, version 2.1
Link(s):
Package page
ok
Upstream homepage
ok
Upstream repository
ok
,
no IPv6