Accepted acl2 2.7-6 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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