-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Thu, 5 Dec 2002 08:30:11 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.7-6 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 Closes: 171593 Changes: acl2 (2.7-6) unstable; urgency=low . * new gcl for m68k, Closes: #171593 Files: febc7bbf9331c56ddf65c044f10ff2d2 975 math optional acl2_2.7-6.dsc d10503c5b992cfc70a2eb76940973655 20153 math optional acl2_2.7-6.diff.gz d5ce0ceb593be6e66b01f97740fd62aa 1503160 doc optional acl2-doc_2.7-6_all.deb b3868af0014795af509e167b04efab3e 9528276 math optional acl2_2.7-6_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPe99rFRjAAQhp2rpAQEUGgP9G25/XtI1LY9qyxe9m93FK+bf0oJp13ZT ugn6gPBAe5t531s5rWqRSbHOV/ynd1G+rCnbOrMl3u+KqgqYBx44BFx5EtYgKBtG maohUNZhTi4lt7dpYJuvOfKi7R+s6DZwBDt6tXDI1GH2PxDSeKSUYpIc5m9inKRO N/RpM2MJNdI= =UaaR -----END PGP SIGNATURE----- Accepted: acl2-doc_2.7-6_all.deb to pool/main/a/acl2/acl2-doc_2.7-6_all.deb acl2_2.7-6.diff.gz to pool/main/a/acl2/acl2_2.7-6.diff.gz acl2_2.7-6.dsc to pool/main/a/acl2/acl2_2.7-6.dsc acl2_2.7-6_i386.deb to pool/main/a/acl2/acl2_2.7-6_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
