Versions Packages Information History Related Badges Report

Packages for coq

191 package(s) known

coq

8.16.0 (8.16.0-r0)

coq-doc

8.16.0 (8.16.0-r0)

coq

8.10.1
Arch
community

coq

8.16.0 (8.16.0-2)
Arch
community

coq-doc

8.16.0 (8.16.0-2)
Arch
community

coqide

8.16.0 (8.16.0-2)

coq

8.12.0 (8.12.0-2.0)

coq-doc

8.12.0 (8.12.0-2.0)

coqide

8.12.0 (8.12.0-2.0)

coq

8.12.0 (8.12.0-2.0)

coq-doc

8.12.0 (8.12.0-2.0)

coqide

8.12.0 (8.12.0-2.0)

coq

8.16.0 (8.16.0-2)

coq-doc

8.16.0 (8.16.0-2)

coqide

8.16.0 (8.16.0-2)

coq

8.16.0 (8.16.0-2)

coq-doc

8.16.0 (8.16.0-2)

coqide

8.16.0 (8.16.0-2)

The Coq proof assistant

8.13.1
Devuan 1.0
jessie/main

coq

8.4pl4dfsg (8.4pl4dfsg-1)

math/coq

8.6 (8.6_12,3)

math/coq

8.6 (8.6_12,3)

math/coq

8.6 (8.6_12,3)

math/coq

8.6 (8.6_12,3)

math/coq

8.6 (8.6_12,3)
Exherbo
ocaml-unofficial

dev-lang/coq

8.5-scm
Exherbo
ocaml-unofficial

dev-lang/coq

scm
Exherbo
ocaml-unofficial

dev-lang/coq

8.5-p2
Fedora 26
release

coq

8.6 (8.6-2.fc26)
Fedora 27
release

coq

8.6.1 (8.6.1-1.fc27)
Fedora 28
release

coq

8.7.1 (8.7.1-2.fc28)
Fedora 29
release

coq

8.7.1 (8.7.1-7.fc29)
Fedora 30
release

coq

8.8.2 (8.8.2-2.fc30)
Fedora 31
release

coq

8.9.1 (8.9.1-4.fc31)
Fedora 31
updates

coq

8.9.1 (8.9.1-5.fc31)
Fedora 32
updates

coq

8.11.2 (8.11.2-1.fc32)
Fedora 32
release

coq

8.11.0 (8.11.0-1.fc32)
Fedora 33
updates

coq

8.12.2 (8.12.2-1.fc33)
Fedora 33
release

coq

8.12.0 (8.12.0-3.fc33.1)
Fedora 34
updates

coq

8.13.2 (8.13.2-1.fc34)
Fedora 34
release

coq

8.13.1 (8.13.1-1.fc34)
Fedora 35
updates

coq

8.13.2 (8.13.2-4.fc35)
Fedora 35
release

coq

8.13.2 (8.13.2-3.fc35)
Fedora 36
updates

coq

8.15.2 (8.15.2-2.fc36)
Fedora 36
release

coq

8.15.1 (8.15.1-1.fc36)
Fedora 37
updates

coq

8.16.0 (8.16.0-2.fc37)
Fedora 37
release

coq

8.16.0 (8.16.0-1.fc37)
Fedora Rawhide
development

coq

8.16.1 (8.16.1-1.fc38)

math/coq

8.6 (8.6_13,3)

math/coq

8.6 (8.6_13,3)

math/coq

8.6 (8.6_13,3)

math/coq

8.6 (8.6_13,3)

math/coq

8.6 (8.6_13,3)
Funtoo 1.4
science-kit

sci-mathematics/coq

8.6.1
Funtoo 1.4
science-kit

sci-mathematics/coq

8.6

sci-mathematics/coq

8.16.1

sci-mathematics/coq

8.16.0

sci-mathematics/coq

8.15.2

sci-mathematics/coq

8.13.0 (8.13.0-r1)

sci-mathematics/coq

8.12.0 (8.12.0-r2)

coq

8.16.1

coq

8.16.1

sci-mathematics/coq

8.16.0

sci-mathematics/coq

8.15.2

sci-mathematics/coq

8.13.0 (8.13.0-r1)

sci-mathematics/coq

8.12.0 (8.12.0-r2)

sci-mathematics/coq

8.11.2 (8.11.2-r1)

sci-mathematics/coq

8.16.1

sci-mathematics/coq

8.16.0

sci-mathematics/coq

8.15.2

sci-mathematics/coq

8.13.0 (8.13.0-r1)

sci-mathematics/coq

8.12.0 (8.12.0-r2)
Mageia 7
core/release

coq

8.7.1 (8.7.1-1.mga7)
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):
Mageia Cauldron
core/release

coq

8.13.2 (8.13.2-3.mga9)
Manjaro Stable
community

coq

8.16.0 (8.16.0-2)
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):
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):
Manjaro Testing
community

coq

8.16.0 (8.16.0-2)
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):
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):

coq

8.16.0 (8.16.0-2)

coq-doc

8.16.0 (8.16.0-2)
  • Summary:
    HTML and PDF documentation for the Coq proof assistant
  • License:
    • GPL
  • Link(s):

coqide

8.16.0 (8.16.0-2)
  • Summary:
    GTK-based graphical interface for the Coq proof assistant
  • License:
    • GPL
  • Link(s):

coq

8.16.0

math/coq

8.13.2 (8.13.2p2)

coq

8.6

coq

8.13.2 (8.13.2-bp154.1.44)

coq

8.13.2 (8.13.2-bp155.2.7)

coq

8.16.1 (8.16.1-1.1)

coq

8.16.1 (8.16.1-46.3)

coq

8.15.2 (8.15.2-42.62)
Parabola
community

coq

8.16.0 (8.16.0-2)
Parabola
community

coq-doc

8.16.0 (8.16.0-2)
Parabola
community

coqide

8.16.0 (8.16.0-2)

lang/coq

8.15.2 (8.15.2nb3)
Rosa 2014.1
contrib/release

coq

8.4.pl4 (8.4.pl4-1)
Rosa 2016.1
contrib/release

coq

8.4.pl4 (8.4.pl4-3)
Rosa 2021.1
contrib/release

coq

8.15.2 (8.15.2-2)
Scoop
main

coq

2022.04.1
Trisquel 6.0
toutatis/main

coq

8.3.pl4 (8.3.pl4+dfsg-1)
Trisquel 7.0
belenos/main

coq

8.4pl3dfsg (8.4pl3dfsg-1)
Trisquel 8.0
flidas/main

coq

8.4pl4dfsg (8.4pl4dfsg-3build2)

coq

8.16.1 (8.16.1_1)

Coq

8.16.0