coq_8.3.pl2+dfsg-2~bpo60+1_amd64.changes is NEW
(new) coq-theories_8.3.pl2+dfsg-2~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-2~bpo60+1.debian.tar.gz optional math
(new) coq_8.3.pl2+dfsg-2~bpo60+1.dsc optional math
(new) coq_8.3.pl2+dfsg-2~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-2~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-2~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-2~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-2~bpo60+1) squeeze-backports; urgency=low
.
* Backport to Squeeze
* Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
.
coq (8.3.pl2+dfsg-2) unstable; urgency=low
.
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
.
coq (8.3.pl2+dfsg-1) unstable; urgency=low
.
* New upstream release
* Add patch to fix thumb2-related build error (Closes: #622882)
* Upload to unstable
.
coq (8.3.pl1+dfsg-2) experimental; urgency=low
.
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
.
coq (8.3.pl1+dfsg-1) experimental; urgency=low
.
* New upstream release
- remove all patches (applied upstream)
* debian/rules:
- run test-suite in override_dh_auto_test, skip coqchk run
- make "build" explicitly a phony target
* Update copyright file
* Fix installation of emacs files
* Install plugins in new binary package libcoq-ocaml
* Bump Standards-Version to 3.9.1 (no changes)
.
coq (8.2.pl2+dfsg-2) unstable; urgency=low
.
* Add Fix-build-with-camlp5-6.02.1.patch
* Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
lablgtk2 transition
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.
ion wrong. You'll get warnings above
if files already exist in other distributions.
Reply to: