coq_8.0pl1-1_powerpc.changes is NEW
(new) coq-libs_8.0pl1-1_powerpc.deb optional devel
Proof assistant for higher-order logic
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp4.
For more information, see <http://coq.inria.fr/>.
.
This package provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
(new) coq7-libs_8.0pl1-1_powerpc.deb optional devel
Proof assistant for higher-order logic
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp4.
For more information, see <http://coq.inria.fr/>.
.
This package provides existing theories from Coq 7 in Coq 8, and
allows proofs that were developed in Coq 7 to be used in Coq 8.
It is also required to translate theories in Coq 7 syntax into
the new syntax introduced in Coq 8. However, this package does
not need to be installed to use Coq 7.
coq_8.0pl1-1.diff.gz
to pool/main/c/coq/coq_8.0pl1-1.diff.gz
coq_8.0pl1-1.dsc
to pool/main/c/coq/coq_8.0pl1-1.dsc
coq_8.0pl1-1_powerpc.deb
to pool/main/c/coq/coq_8.0pl1-1_powerpc.deb
coq_8.0pl1.orig.tar.gz
to pool/main/c/coq/coq_8.0pl1.orig.tar.gz
(new) coqide_8.0pl1-1_powerpc.deb optional devel
Proof assistant for higher-order logic
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp4.
For more information, see <http://coq.inria.fr/>.
.
This package provides CoqIde, a graphical user interface for
developing proofs.
Changes: coq (8.0pl1-1) unstable; urgency=low
.
* New upstream release: finally the version without QPL-licensed files is out,
closes: #230356, #250497.
* Libraries are now in separate packages (coq-libs and coq7-libs).
* An additional package provides coqide.
* Built with OCaml 3.08.
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 230356 250497
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: