-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Tue, 10 Dec 2002 13:20:34 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.7-7 Distribution: unstable Urgency: low Maintainer: Camm Maguire <camm@enhanced.com> Changed-By: Camm Maguire <camm@enhanced.com> Description: acl2 - Applicative Common Lisp: A Computational Logic acl2-doc - Documentation for acl2 Changes: acl2 (2.7-7) unstable; urgency=low . * More verbose testing output to overcome autobuild timeout problems Files: 862cc8cf51b002cfdf24689553b95115 975 math optional acl2_2.7-7.dsc c58ef4d34287f11eb505e0c0e1a513e5 21690 math optional acl2_2.7-7.diff.gz af0893003b3c2aee5ef6b78330720e9d 1504896 doc optional acl2-doc_2.7-7_all.deb 4c2912a4a630a875b0862d675ed6baf2 9664676 math optional acl2_2.7-7_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPfZqIFRjAAQhp2rpAQFaiQP/VCy7JJHC/sWOFiWlVDzymurAxhAfm39Y 1JY0tq4vZaXhJp5Kh18pxFZmGMFvoknEQF80UHvZ+yF9OWwi4Lp9gL2pTxtE31Mc 3eQ/tJd6f/TInhLrHNFzPHhZce0RFrM2ykiFUOvrRO7oZCHItyp3DKhTadyQgGSE qwkDSFUPRDU= =AAz5 -----END PGP SIGNATURE----- Accepted: acl2-doc_2.7-7_all.deb to pool/main/a/acl2/acl2-doc_2.7-7_all.deb acl2_2.7-7.diff.gz to pool/main/a/acl2/acl2_2.7-7.diff.gz acl2_2.7-7.dsc to pool/main/a/acl2/acl2_2.7-7.dsc acl2_2.7-7_i386.deb to pool/main/a/acl2/acl2_2.7-7_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
