Versions Packages Information History Related Badges Report

Packages for coq

203 package(s) known

coq

8.18.0 (8.18.0-r0)

coq-doc

8.18.0 (8.18.0-r0)
Arch
extra

coq

8.16.1 (8.16.1-1)
Arch
extra

coq-doc

8.16.1 (8.16.1-1)
Arch
extra

coqide

8.16.1 (8.16.1-1)

coq

8.16.1 (8.16.1-1.1)

coq-doc

8.16.1 (8.16.1-1.1)

coqide

8.16.1 (8.16.1-1.1)

coq

8.16.1 (8.16.1-1.1)

coq-doc

8.16.1 (8.16.1-1.1)

coqide

8.16.1 (8.16.1-1.1)

coq

8.16.1 (8.16.1-1)

coq

8.16.1 (8.16.1-1)

coq-doc

8.16.1 (8.16.1-1)

coq-doc

8.16.1 (8.16.1-1)

coqide

8.16.1 (8.16.1-1)

coqide

8.16.1 (8.16.1-1)
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
release

coq

8.13.2 (8.13.2-3.fc35)
Fedora 35
updates

coq

8.13.2 (8.13.2-4.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.1 (8.16.1-1.fc37)
Fedora 37
release

coq

8.16.0 (8.16.0-1.fc37)
Fedora 38
updates

coq

8.17.1 (8.17.1-1.fc38)
Fedora 38
release

coq

8.16.1 (8.16.1-3.fc38)
Fedora 39
development

coq

8.17.1 (8.17.1-5.fc39)
Fedora Rawhide
development

coq

8.17.1 (8.17.1-6.fc40)

math/coq

8.6 (8.6_19,3)

math/coq

8.6 (8.6_19,3)

math/coq

8.6 (8.6_19,3)

math/coq

8.6 (8.6_19,3)

math/coq

8.6 (8.6_19,3)

sci-mathematics/coq

8.18.0

sci-mathematics/coq

8.17.1

coq

8.16.1

sci-mathematics/coq

8.17.1

sci-mathematics/coq

8.17.0

sci-mathematics/coq

8.12.0 (8.12.0-r2)

sci-mathematics/coq

8.18.0

sci-mathematics/coq

8.17.1
Mageia 8
core/release

coq

8.11.0 (8.11.0-4.mga8)
Mageia cauldron
core/release

coq

8.16.1 (8.16.1-1.mga9)

coq

8.16.1 (8.16.1-1)

coq-doc

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

coqide

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

coq

8.16.1 (8.16.1-1)

coq-doc

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

coqide

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

coq

8.16.1 (8.16.1-1)

coq-doc

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

coqide

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

coq

8.18.0

math/coq

8.13.2 (8.13.2p4)

coq

8.6

coq

8.13.2 (8.13.2-bp154.1.44)

coq

8.13.2 (8.13.2-bp155.2.13)

coq

8.18.0 (8.18.0-3.1)

coq

8.18.0 (8.18.0-62.29)

coq

8.18.0 (8.18.0-62.30)
Parabola
extra

coq

8.16.1 (8.16.1-1)
Parabola
extra

coq-doc

8.16.1 (8.16.1-1)
Parabola
extra

coqide

8.16.1 (8.16.1-1)

lang/coq

8.15.2 (8.15.2nb11)
Rosa 2021.1
contrib/release

coq

8.15.2 (8.15.2-2)
Scoop
main

coq

2023.03.0

coq

8.18.0 (8.18.0_1)

Coq

8.18.0