Ubuntu
coq package

coq source package in Bionic

coq: proof assistant for higher-order logic (toplevel and compiler)
coq-dbgsym: No summary available for coq-dbgsym in ubuntu artful.
coq-theories: proof assistant for higher-order logic (theories)
coq-theories-dbgsym: No summary available for coq-theories-dbgsym in ubuntu artful.
coqide: No summary available for coqide in ubuntu artful.
coqide-dbgsym: debug symbols for coqide
libcoq-ocaml: runtime libraries for Coq
libcoq-ocaml-dbgsym: No summary available for libcoq-ocaml-dbgsym in ubuntu artful.
libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu artful.
libcoq-ocaml-dev-dbgsym: debug symbols for libcoq-ocaml-dev

Versions published

Release

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

coq information

Current version:
8.6-5build1
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.6-5build1)

File Size SHA-256 Checksum
coq_8.6.orig.tar.gz 4.8 MiB 0626a5aff5c09fce899f06fb177bf55dc7b7d2bf3cd063587aa83f37bbd2364b
coq_8.6-5build1.debian.tar.xz 21.4 KiB 70e1cffd54deb41b7ad3e6fd0685c7f1078ba78cdd1f84e8a6225fbc349de9d3
coq_8.6-5build1.dsc 2.3 KiB fe7076b2359197baa72d2016261ae52b2691cf553eeda8ba6b267f180625e3c8

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies