coq_8.3.pl2+dfsg-1~bpo60+1_amd64.changes is NEW
(new) coq-theories_8.3.pl2+dfsg-1~bpo60+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.
.
This package provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
(new) coq_8.3.pl2+dfsg-1~bpo60+1.debian.tar.gz optional math
(new) coq_8.3.pl2+dfsg-1~bpo60+1.dsc optional math
(new) coq_8.3.pl2+dfsg-1~bpo60+1_amd64.deb optional math
proof assistant for higher-order logic (toplevel and compiler)
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.
.
This package provides coqtop, a command line interface to Coq.
.
A graphical interface for Coq is provided in the coqide package.
Coq can also be used with ProofGeneral, which allows proofs to be
edited using emacs and xemacs. This requires the proofgeneral-coq
package to be installed.
(new) coq_8.3.pl2+dfsg.orig.tar.gz optional math
(new) coqide_8.3.pl2+dfsg-1~bpo60+1_amd64.deb optional math
proof assistant for higher-order logic (gtk interface)
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.
.
This package provides CoqIde, a graphical user interface for
developing proofs.
(new) libcoq-ocaml-dev_8.3.pl2+dfsg-1~bpo60+1_amd64.deb optional ocaml
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.
.
This package provides coqmktop, and libraries needed to develop
OCaml-side extensions to Coq.
(new) libcoq-ocaml_8.3.pl2+dfsg-1~bpo60+1_amd64.deb optional ocaml
runtime libraries 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.
.
This package provides runtime libraries for Coq.
Changes: coq (8.3.pl2+dfsg-1~bpo60+1) squeeze-backports; urgency=low
.
* Rebuild for squeeze-backports.
- "liblablgtk2-ocaml-dev (>= 2.14)" is enough to build the package.
Override entries for your package:
Announcing to debian-backports-changes@lists.debian.org
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.
st in other distributions.
Reply to: