-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Mon, 13 Dec 2004 16:05:18 +0100 Source: coq Binary: coq7-libs coqide coq-libs coq Architecture: source powerpc Version: 8.0pl1-5 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-5) unstable; urgency=low . * Reuploaded since powerpc .deb did not include native code executable Files: 1a4edd0592c0d56e24eeb6e8c19b2d37 941 math optional coq_8.0pl1-5.dsc 6e3002be052644a5386dac6ce2261a7a 11533 math optional coq_8.0pl1-5.diff.gz 74c2e423f099c038f5182182dd111caa 6878040 math optional coq_8.0pl1-5_powerpc.deb 5de7dca9f2f1790c7a173a21d768c067 4493876 math optional coqide_8.0pl1-5_powerpc.deb 3f29a0a914b3de90437833c5fba70747 3728238 math optional coq-libs_8.0pl1-5_powerpc.deb 743e82db9c79164d43444a1bfb54a00e 3807100 math optional coq7-libs_8.0pl1-5_powerpc.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFBvbh21cqbBPLEI7wRAorKAJ47upwWAgvK8sUtbte/xi/6Zm8TjwCgka5w IawE8zYd8Gf3djsCwHMDuAg= =81KY -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl1-5_powerpc.deb to pool/main/c/coq/coq-libs_8.0pl1-5_powerpc.deb coq7-libs_8.0pl1-5_powerpc.deb to pool/main/c/coq/coq7-libs_8.0pl1-5_powerpc.deb coq_8.0pl1-5.diff.gz to pool/main/c/coq/coq_8.0pl1-5.diff.gz coq_8.0pl1-5.dsc to pool/main/c/coq/coq_8.0pl1-5.dsc coq_8.0pl1-5_powerpc.deb to pool/main/c/coq/coq_8.0pl1-5_powerpc.deb coqide_8.0pl1-5_powerpc.deb to pool/main/c/coq/coqide_8.0pl1-5_powerpc.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
