coq package in Ubuntu

coq: proof assistant for higher-order logic (toplevel and compiler)
coq-dbgsym: debug symbols for coq
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: debug symbols for libcoq-core-ocaml
libcoq-core-ocaml-dev: development libraries and tools for Coq
libcoq-stdlib: proof assistant for higher-order logic (theories)

This package has 2 new bugs and 0 open questions.

Package information

Maintainer:
Debian OCaml Maintainers
Urgency:*
Medium Urgency
Architectures:*
any
Latest upload:
8.15.2+dfsg-2

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections

Coqtrunk

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.

The Kinetic Kudu (active development)
8.15.2+dfsg-2 release (universe)
The Jammy Jellyfish (current stable release)
8.15.0+dfsg-2 release (universe)
The Impish Indri (supported)
8.12.0-3build3 release (universe)
The Focal Fossa (supported)
8.11.0-1 release (universe)
The Bionic Beaver (supported)
8.6-5build1 release (universe)
The Xenial Xerus (supported)
8.4pl4dfsg-3build2 release (universe)
The Trusty Tahr (supported)
8.4pl3dfsg-1 release (universe)