-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 17 Aug 2004 20:54:25 +0200 Source: coq Binary: coq7-libs coqide coq-libs coq Architecture: source powerpc Version: 8.0pl1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Samuel Mimram <samuel.mimram@ens-lyon.org> Description: coq - Proof assistant for higher-order logic (toplevel and compiler) coq-libs - Proof assistant for higher-order logic (theories) coq7-libs - Proof assistant for higher-order logic (Coq 7 theories) coqide - Proof assistant for higher-order logic (gtk interface) Changes: coq (8.0pl1-3) unstable; urgency=medium . * Small patch to be able to compile with ocaml 3.08.1. * Added a dependency to ocaml-base-nox when coq is compiled in bytecode. * Added a menu for coqide. * Enhanced the manpages. * Enhanced the short descriptions of the packages. Files: ddd4051cc1063b15866aa5d232bfa10f 918 math optional coq_8.0pl1-3.dsc 6f28053b3ab89f8c916fdd361bdbbb86 11306 math optional coq_8.0pl1-3.diff.gz 15bb954e80bec548b73962c726867142 6873202 math optional coq_8.0pl1-3_powerpc.deb d4c9614853ce1ba61ce38937c82630b3 4485372 math optional coqide_8.0pl1-3_powerpc.deb 1cc6fe29f5cde4957956d7a18e8fe897 3728086 math optional coq-libs_8.0pl1-3_powerpc.deb 60956c384a13474b8621e2d3218e9ff6 3806934 math optional coq7-libs_8.0pl1-3_powerpc.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBLibe2WTeT3CRQaQRAtfNAJ4wmg29z9IIH+W6YJzGex2/PlGYQQCeO+N/ xYP8llMSUDY07kBiMzmGUWE= =Rlwd -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl1-3_powerpc.deb to pool/main/c/coq/coq-libs_8.0pl1-3_powerpc.deb coq7-libs_8.0pl1-3_powerpc.deb to pool/main/c/coq/coq7-libs_8.0pl1-3_powerpc.deb coq_8.0pl1-3.diff.gz to pool/main/c/coq/coq_8.0pl1-3.diff.gz coq_8.0pl1-3.dsc to pool/main/c/coq/coq_8.0pl1-3.dsc coq_8.0pl1-3_powerpc.deb to pool/main/c/coq/coq_8.0pl1-3_powerpc.deb coqide_8.0pl1-3_powerpc.deb to pool/main/c/coq/coqide_8.0pl1-3_powerpc.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
