Accepted acl2 2.7-3 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

-----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