Ubuntu

“coq” package in Ubuntu

coq: proof assistant for higher-order logic (toplevel and compiler)
coq-theories: proof assistant for higher-order logic (theories)
coqide: proof assistant for higher-order logic (gtk interface)
libcoq-ocaml: runtime libraries for Coq
libcoq-ocaml-dev: development libraries and tools for Coq

This package has 1 new bug and 0 open questions.

Package information

Maintainer:
Debian OCaml Maintainers
Urgency:*
Medium Urgency
Component:*
main
Architectures:*
any all
Latest upload:
8.4pl3dfsg-1

*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 Trusty Tahr (current stable release)
8.4pl3dfsg-1 release (universe) 2014-01-21
The Saucy Salamander (supported)
8.4pl2dfsg-1 release (universe) 2013-05-26
The Quantal Quetzal (supported)
8.3.pl4+dfsg-2 release (universe) 2012-06-08
The Precise Pangolin (supported)
8.3.pl4+dfsg-1 release (universe) 2012-04-03
The Lucid Lynx (supported)
8.2.pl1+dfsg-6 release (universe) 2010-02-27