Linux workstation

Upstream software project

coq

documentation for Coq

About coq

documentation for Coq

This project links 16 native package records across 2 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Debian 12 (Bookworm): 8 package records; Debian 13 (Trixie): 8 package records. Catalog coverage diagram, not an application screenshot.coq: recorded package coverageDebian 12 (Bookworm)8 recordsDebian 13 (Trixie)8 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
coq
Publisher
Not authoritatively mapped
Native package records
16
Operating systems
debian-12, debian-13
License expression
Not reported
Metadata completeness
80/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

proof assistant for higher-order logic (toplevel and compiler)

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Debian 12 (Bookworm)

  1. coq

    Debian 12 (Bookworm) / math / source coq

    8.16.1+dfsg-1+b2

    proof assistant for higher-order logic (toplevel and compiler)

    amd64arm64bookworm
  2. coq-doc

    Debian 12 (Bookworm) / non-free/doc

    8.16.1-1

    documentation for Coq

    allbookworm
  3. coq-doc-html

    Debian 12 (Bookworm) / non-free/doc / source coq-doc

    8.16.1-1

    documentation for Coq in html format

    allbookworm
  4. coq-doc-pdf

    Debian 12 (Bookworm) / non-free/doc / source coq-doc

    8.16.1-1

    documentation for Coq in pdf format

    allbookworm
  5. coqide

    Debian 12 (Bookworm) / math / source coq

    8.16.1+dfsg-1+b2

    proof assistant for higher-order logic (gtk interface)

    amd64arm64bookworm
  6. libcoq-core-ocaml

    Debian 12 (Bookworm) / ocaml / source coq

    8.16.1+dfsg-1+b2

    runtime libraries for Coq

    amd64arm64bookworm
  7. libcoq-core-ocaml-dev

    Debian 12 (Bookworm) / ocaml / source coq

    8.16.1+dfsg-1+b2

    development libraries and tools for Coq

    amd64arm64bookworm
  8. libcoq-stdlib

    Debian 12 (Bookworm) / math / source coq

    8.16.1+dfsg-1+b2

    proof assistant for higher-order logic (theories)

    amd64arm64bookworm

Debian 13 (Trixie)

  1. coq

    Debian 13 (Trixie) / math / source coq

    8.20.1+dfsg-1+b1

    proof assistant for higher-order logic (toplevel and compiler)

    amd64arm64trixie
  2. coq-doc

    Debian 13 (Trixie) / non-free/doc

    8.20.0-2

    documentation for Coq

    alltrixie
  3. coq-doc-html

    Debian 13 (Trixie) / non-free/doc / source coq-doc

    8.20.0-2

    documentation for Coq in html format

    alltrixie
  4. coq-doc-pdf

    Debian 13 (Trixie) / non-free/doc / source coq-doc

    8.20.0-2

    documentation for Coq in pdf format

    alltrixie
  5. coqide

    Debian 13 (Trixie) / math / source coq

    8.20.1+dfsg-1+b1

    proof assistant for higher-order logic (gtk interface)

    amd64arm64trixie
  6. libcoq-core-ocaml

    Debian 13 (Trixie) / ocaml / source coq

    8.20.1+dfsg-1+b1

    runtime libraries for Coq

    amd64arm64trixie
  7. libcoq-core-ocaml-dev

    Debian 13 (Trixie) / ocaml / source coq

    8.20.1+dfsg-1+b1

    development libraries and tools for Coq

    amd64arm64trixie
  8. libcoq-stdlib

    Debian 13 (Trixie) / math / source coq

    8.20.1+dfsg-1+b1

    proof assistant for higher-order logic (theories)

    amd64arm64trixie

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.

coq Software and Packages | OpenFactory