Versions Packages Information History Related Badges Report

Packages for coq

131 package(s) known

coq

8.8.2 (8.8.2-r0)

coq-doc

8.8.2 (8.8.2-r0)

coq-emacs

8.8.2 (8.8.2-r0)

coq

8.10.1
Arch
community

coq

8.13.0 (8.13.0-1)
Arch
community

coq-doc

8.13.0 (8.13.0-1)
Arch
community

coqide

8.13.0 (8.13.0-1)

The Coq proof assistant

8.13.0

math/coq

8.6 (8.6_5,3)

math/coq

8.6 (8.6_5,3)

math/coq

8.6 (8.6_5,3)

math/coq

8.6 (8.6_5,3)

math/coq

8.6 (8.6_5,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)

coq

8.12.2 (8.12.2-1.fc34)

math/coq

8.6 (8.6_5,3)

math/coq

8.6 (8.6_5,3)

math/coq

8.6 (8.6_5,3)

math/coq

8.6 (8.6_5,3)

math/coq

8.6 (8.6_5,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.12.0

sci-mathematics/coq

8.9.1 (8.9.1-r1)

sci-mathematics/coq

8.9.1 (8.9.1-r2)

sci-mathematics/coq

8.6.1 (8.6.1-r1)

coq

8.11.2

coq

8.13.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.12.0

sci-mathematics/coq

8.9.1 (8.9.1-r1)

sci-mathematics/coq

8.9.1 (8.9.1-r2)

sci-mathematics/coq

8.6.1 (8.6.1-r1)

sci-mathematics/coq

8.12.0

sci-mathematics/coq

8.9.1 (8.9.1-r1)

sci-mathematics/coq

8.9.1 (8.9.1-r2)

sci-mathematics/coq

8.6.1 (8.6.1-r1)

coq

8.13.0

coq

8.8.2
Mageia 6
core/release

coq

8.5pl2 (8.5pl2-2.mga6)
Mageia 7
core/release

coq

8.7.1 (8.7.1-1.mga7)
Mageia Cauldron
core/release

coq

8.11.0 (8.11.0-4.mga8)
Manjaro Stable
community

coq

8.12.0 (8.12.0-2)
Manjaro Stable
community

coq-doc

8.12.0 (8.12.0-2)
Manjaro Stable
community

coqide

8.12.0 (8.12.0-2)
Manjaro Testing
community

coq

8.12.0 (8.12.0-2)
Manjaro Testing
community

coq-doc

8.12.0 (8.12.0-2)
Manjaro Testing
community

coqide

8.12.0 (8.12.0-2)

coq

8.13.0 (8.13.0-1)

coq-doc

8.13.0 (8.13.0-1)

coqide

8.13.0 (8.13.0-1)

coq

8.13+beta1

coq

8.12.2

coq

8.11.2

coq

8.11.2

coq

8.11.2

coq

8.10.2

coq

8.9.1

coq

8.8.2

coq

8.7.2

coq

8.6.1

coq

8.5pl3

math/coq

8.12.1

coq

8.6

coq

8.12.2 (8.12.2-1.1)

coq

8.12.2 (8.12.2-26.4)
Parabola
community

coq

8.13.0 (8.13.0-1)
Parabola
community

coq-doc

8.13.0 (8.13.0-1)
Parabola
community

coqide

8.13.0 (8.13.0-1)

lang/coq

8.10.2 (8.10.2nb6)

coq

8.6 (8.6-1)
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)

academic/coq

8.9.0
Trisquel 6.0
toutatis/main

coq

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

coq

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

coq

8.4pl4 (8.4pl4dfsg-3build2)

coq

8.13.0 (8.13.0_1)

Coq

8.13.0