-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 18 Jul 2004 01:10:24 +0200 Source: coq Binary: coq7-libs coqide coq-libs coq Architecture: source powerpc Version: 8.0pl1-1 Distribution: unstable Urgency: low 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 coq-libs - Proof assistant for higher-order logic coq7-libs - Proof assistant for higher-order logic coqide - Proof assistant for higher-order logic Closes: 230356 250497 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. Files: 6429f4b742b7223422bd25d5bf01106b 894 devel optional coq_8.0pl1-1.dsc 95237e64081d7306fdea49e1988bde12 2272613 devel optional coq_8.0pl1.orig.tar.gz 458a401647337b73bc844432c79cfc09 9681 devel optional coq_8.0pl1-1.diff.gz e09662cdb155101d35d2943d0fe4880a 6869798 devel optional coq_8.0pl1-1_powerpc.deb 4eb39f0b006d4ea2366cce343d2e4881 4479848 devel optional coqide_8.0pl1-1_powerpc.deb 087caf84d4e6e78372142bb2a435728c 3727828 devel optional coq-libs_8.0pl1-1_powerpc.deb a0ee6bcef3fcacc6e85e36de7aa6d429 3806696 devel optional coq7-libs_8.0pl1-1_powerpc.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.4 (GNU/Linux) iD8DBQFBChl52WTeT3CRQaQRAnboAJ95Z2awdh9E8IX6bZGMaVqboxUvXgCgpq0f jMDJ60laWdEm8SWjCuAdoF0= =W7f/ -----END PGP SIGNATURE----- Accepted: coq-libs_8.0pl1-1_powerpc.deb to pool/main/c/coq/coq-libs_8.0pl1-1_powerpc.deb coq7-libs_8.0pl1-1_powerpc.deb to pool/main/c/coq/coq7-libs_8.0pl1-1_powerpc.deb 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 coqide_8.0pl1-1_powerpc.deb to pool/main/c/coq/coqide_8.0pl1-1_powerpc.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
