-----BEGIN PGP SIGNED MESSAGE----- Format: 1.7 Date: Thu, 21 Nov 2002 17:53:51 -0500 Source: acl2 Binary: acl2-doc acl2 Architecture: source all i386 Version: 2.7-3 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: 170084 Changes: acl2 (2.7-3) unstable; urgency=low . * New gcl on m68k to fix cache flushes, Closes: #170084 * Book certification failures not fatal for now Files: 0e63f6a5ed5c9b02ef8fa5accfde879c 932 math optional acl2_2.7-3.dsc a417f4cebc9aadab1da7b6ab026376d5 20295 math optional acl2_2.7-3.diff.gz 3b8b003b18071c2da87e90fdd256bda2 1503126 doc optional acl2-doc_2.7-3_all.deb 108549de13b966645b33c5d1aa2aaad0 9537130 math optional acl2_2.7-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: 2.6.3a Charset: noconv iQCVAwUBPd2MP1RjAAQhp2rpAQHS7wQAgo7O6e0G07shhVOI7xN+E5ZYsW9auHSC yEJrASSWccRWWc1pmSfkEZlqvIMtn2weHN/ORMGjPaT55lojcbSIZcK2xOMtPrxm YJK2vF5+BWbRIwiroarlitPuUY//OQOewRRih/q/J1zrDbjxvxymzIXwA9t2ZS0P M+gkUYMbKxg= =06UE -----END PGP SIGNATURE----- Accepted: acl2-doc_2.7-3_all.deb to pool/main/a/acl2/acl2-doc_2.7-3_all.deb acl2_2.7-3.diff.gz to pool/main/a/acl2/acl2_2.7-3.diff.gz acl2_2.7-3.dsc to pool/main/a/acl2/acl2_2.7-3.dsc acl2_2.7-3_i386.deb to pool/main/a/acl2/acl2_2.7-3_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
