Versions Packages Information History Related Badges Report

Packages for coq

152 package(s) known

coq

8.13.2 (8.13.2-r0)

coq-doc

8.13.2 (8.13.2-r0)

coq

8.10.1
Arch
community

coq

8.14.0 (8.14.0-2)
Arch
community

coq-doc

8.14.0 (8.14.0-2)
Arch
community

coqide

8.14.0 (8.14.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_6,3)

math/coq

8.6 (8.6_6,3)

math/coq

8.6 (8.6_6,3)

math/coq

8.6 (8.6_6,3)

math/coq

8.6 (8.6_6,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
development

coq

8.13.2 (8.13.2-3.fc35)

coq

8.14.0 (8.14.0-1.fc36)

math/coq

8.6 (8.6_7,3)

math/coq

8.6 (8.6_7,3)

math/coq

8.6 (8.6_7,3)

math/coq

8.6 (8.6_7,3)

math/coq

8.6 (8.6_7,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.13.0

sci-mathematics/coq

8.13.0 (8.13.0-r1)

sci-mathematics/coq

8.12.0 (8.12.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.11.2

coq

8.13.2

coq

8.14.0
Hyperbola
community

coq

8.6 (8.6-5)
Hyperbola
community

coq-doc

8.6 (8.6-5)
Hyperbola
community

coqide

8.6 (8.6-5)

sci-mathematics/coq

8.13.0 (8.13.0-r1)

sci-mathematics/coq

8.13.0

sci-mathematics/coq

8.12.0 (8.12.0-r1)

sci-mathematics/coq

8.12.0 (8.12.0-r2)

sci-mathematics/coq

8.11.2

sci-mathematics/coq

8.11.2 (8.11.2-r1)

sci-mathematics/coq

8.13.0 (8.13.0-r1)

sci-mathematics/coq

8.13.0

sci-mathematics/coq

8.12.0 (8.12.0-r2)

sci-mathematics/coq

8.12.0 (8.12.0-r1)

sci-mathematics/coq

8.11.2 (8.11.2-r1)

sci-mathematics/coq

8.11.2

coq

8.14.0

coq

8.13.2
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
  • Links(s):
Mageia Cauldron
core/release

coq

8.13.2 (8.13.2-2.mga9)
Manjaro Stable
community

coq

8.13.2 (8.13.2-2)
Manjaro Stable
community

coq-doc

8.13.2 (8.13.2-2)
  • Summary:
    HTML and PDF documentation for the Coq proof assistant
  • License:
    • GPL
  • Links(s):
Manjaro Stable
community

coqide

8.13.2 (8.13.2-2)
  • Summary:
    GTK-based graphical interface for the Coq proof assistant
  • License:
    • GPL
  • Links(s):
Manjaro Staging
community

coq

8.13.2 (8.13.2-2)
Manjaro Staging
community

coq-doc

8.13.2 (8.13.2-2)
  • Summary:
    HTML and PDF documentation for the Coq proof assistant
  • License:
    • GPL
  • Links(s):
Manjaro Staging
community

coqide

8.13.2 (8.13.2-2)
  • Summary:
    GTK-based graphical interface for the Coq proof assistant
  • License:
    • GPL
  • Links(s):
Manjaro Testing
community

coq

8.14.0 (8.14.0-1)
Manjaro Testing
community

coq-doc

8.14.0 (8.14.0-1)
  • Summary:
    HTML and PDF documentation for the Coq proof assistant
  • License:
    • GPL
  • Links(s):
Manjaro Testing
community

coqide

8.14.0 (8.14.0-1)
  • Summary:
    GTK-based graphical interface for the Coq proof assistant
  • License:
    • GPL
  • Links(s):

coq

8.14.0 (8.14.0-2)

coq-doc

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

coqide

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

coq

8.13.2

math/coq

8.12.2

coq

8.6

coq

8.14.0 (8.14.0-1.1)

coq

8.14.0 (8.14.0-36.4)
Parabola
community

coq

8.14.0 (8.14.0-2)
Parabola
community

coq-doc

8.14.0 (8.14.0-2)
Parabola
community

coqide

8.14.0 (8.14.0-2)

lang/coq

8.12.2 (8.12.2nb2)
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)
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.14.0 (8.14.0_1)

Coq

8.13.2