(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 [EMAIL PROTECTED] 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. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
