-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Tue, 30 Nov 2004 21:38:21 +0100 Source: coq Binary: coq7-libs coqide coq-libs coq Architecture: source powerpc Version: 8.0pl1-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stefano Zacchiroli <zack@debian.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-4) unstable; urgency=low . * Rebuilt against ocaml 3.08.2 Files: 1b62d96d5306958c6c7337d8ee3ebf7e 941 math optional coq_8.0pl1-4.dsc 687197168ffbc46f0b2866f16d3cde71 11481 math optional coq_8.0pl1-4.diff.gz 5438749ee305ea5720a1ef0e05fc9b2f 2832794 math optional coq_8.0pl1-4_powerpc.deb 902b775e3772b7452f295da84548c148 1941708 math optional coqide_8.0pl1-4_powerpc.deb 29c59b3ad4f1e4c028c7bff6b0b2a75c 3728160 math optional coq-libs_8.0pl1-4_powerpc.deb 471eb87543681f1039209f1c10b7dc01 3807052 math optional coq7-libs_8.0pl1-4_powerpc.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBrYVu1cqbBPLEI7wRAuB+AKCZmka3GlUlixx8FcQI7oucdhuYIwCbBqm0 0l9RrX+L3BDtJ0poE52zpMc= =MAw3 -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl1-4_powerpc.deb to pool/main/c/coq/coq-libs_8.0pl1-4_powerpc.deb coq7-libs_8.0pl1-4_powerpc.deb to pool/main/c/coq/coq7-libs_8.0pl1-4_powerpc.deb coq_8.0pl1-4.diff.gz to pool/main/c/coq/coq_8.0pl1-4.diff.gz coq_8.0pl1-4.dsc to pool/main/c/coq/coq_8.0pl1-4.dsc coq_8.0pl1-4_powerpc.deb to pool/main/c/coq/coq_8.0pl1-4_powerpc.deb coqide_8.0pl1-4_powerpc.deb to pool/main/c/coq/coqide_8.0pl1-4_powerpc.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
