Ubuntu
coq package

coq source package in Lunar

coq: No summary available for coq in ubuntu kinetic.
coq-dbgsym: No summary available for coq-dbgsym in ubuntu kinetic.
coqide: proof assistant for higher-order logic (gtk interface)
coqide-dbgsym: debug symbols for coqide
libcoq-core-ocaml: runtime libraries for Coq
libcoq-core-ocaml-dbgsym: No summary available for libcoq-core-ocaml-dbgsym in ubuntu kinetic.
libcoq-core-ocaml-dev: No summary available for libcoq-core-ocaml-dev in ubuntu kinetic.
libcoq-stdlib: proof assistant for higher-order logic (theories)

Versions published

Release

The package versions that were published when the distribution release was made.

coq information

Current version:
8.16.1+dfsg-1build2
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Coq ⇒ trunk

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Bug supervisor: no
Bug tracker: no
Branch: yes

There are no registered releases for the Coq ⇒ trunk.

Binary packages

Download files from current release (8.16.1+dfsg-1build2)

File Size SHA-256 Checksum
coq_8.16.1+dfsg.orig.tar.xz 4.5 MiB d9cee0ee2889ad2ef3be6bcbedff6aadd14afe861c81d427b34c6be56c677cb3
coq_8.16.1+dfsg-1build2.debian.tar.xz 32.5 KiB dda7fc7a8cb22148bf629057a5c0607dd7965b0fffcab8e3cb5e026896c861b4
coq_8.16.1+dfsg-1build2.dsc 2.6 KiB 12d3219af2c431b2eb1d3221ee6ac07c659782c93693ce180bb21d7faee759c4

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies