coq_8.2~rc2+dfsg-1_i386.changes is NEW
(new) coq-theories_8.2~rc2+dfsg-1_all.deb optional math
proof assistant for higher-order logic (theories)
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 Camlp5.
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.
coq_8.2~rc2+dfsg-1.diff.gz
to pool/main/c/coq/coq_8.2~rc2+dfsg-1.diff.gz
coq_8.2~rc2+dfsg-1.dsc
to pool/main/c/coq/coq_8.2~rc2+dfsg-1.dsc
coq_8.2~rc2+dfsg-1_i386.deb
to pool/main/c/coq/coq_8.2~rc2+dfsg-1_i386.deb
coq_8.2~rc2+dfsg.orig.tar.gz
to pool/main/c/coq/coq_8.2~rc2+dfsg.orig.tar.gz
coqide_8.2~rc2+dfsg-1_i386.deb
to pool/main/c/coq/coqide_8.2~rc2+dfsg-1_i386.deb
(new) libcoq-ocaml-dev_8.2~rc2+dfsg-1_i386.deb optional libdevel
development libraries and tools for Coq
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 Camlp5.
For more information, see <http://coq.inria.fr/>.
.
This package provides coqmktop, and libraries needed to develop
OCaml-side extensions to Coq.
Changes: coq (8.2~rc2+dfsg-1) experimental; urgency=low
.
* New upstream release candidate
* Bump debhelper compatibility level to 7
* Remove obsolete patches
* Use debhelper 7, simplify debian/rules (Closes: #436684)
* Add binary package libcoq-ocaml-dev
* Rename package coq-libs to coq-theories to avoid confusion, and
add a NEWS file to document it
* Add virtual coq-$ABI package, to express some ABI dependencies,
and put $ABI in /usr/lib/coq/abi.
Override entries for your package:
coq_8.2~rc2+dfsg-1.dsc - source math
coq_8.2~rc2+dfsg-1_i386.deb - optional math
coqide_8.2~rc2+dfsg-1_i386.deb - optional math
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 436684
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: