-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Thu, 21 Nov 2002 23:40:09 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.7-4 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-4) unstable; urgency=low . * Fix bad patch Files: beb3598ffa9174a92f72c212293002bc 932 math optional acl2_2.7-4.dsc 2fea0d6f1315ad23d8916d7ceb8635d7 19854 math optional acl2_2.7-4.diff.gz ba1c4d6b1bb27dc8413635fdc465e615 1503116 doc optional acl2-doc_2.7-4_all.deb ae3b671e9bc852c56166209d1e24eb38 9540094 math optional acl2_2.7-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPd3i8VRjAAQhp2rpAQHPfAQApj3xmAJ6pMi4CRYHDOo2m4LDlJNhxszS gdnSEsLecqllzdLquepl9qDSQgf98pGS1gn0ziNJfrv2zyARabn0nAla30n/736V OmrJpLQUXRW1uAm7QbxplmVV5FBnOKtSe2MNNY3nnfxwku5xOBGomg2oWgciDBqc UXGo8A8xz9g= =ArYZ -----END PGP SIGNATURE----- Accepted: acl2-doc_2.7-4_all.deb to pool/main/a/acl2/acl2-doc_2.7-4_all.deb acl2_2.7-4.diff.gz to pool/main/a/acl2/acl2_2.7-4.diff.gz acl2_2.7-4.dsc to pool/main/a/acl2/acl2_2.7-4.dsc acl2_2.7-4_i386.deb to pool/main/a/acl2/acl2_2.7-4_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
