Accepted acl2 2.6-8 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

-----BEGIN PGP SIGNED MESSAGE-----

Format: 1.7
Date: Sun, 10 Nov 2002 12:48:44 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-8
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: 167618
Changes: 
 acl2 (2.6-8) unstable; urgency=low
 .
   * New portable gcl build mechanism for acl2, Closes: #167618
Files: 
 5b3f75e46b95d557e42daf4207d6e800 697 math optional acl2_2.6-8.dsc
 dd58800a39ecd8139f00244cf48b38aa 8736 math optional acl2_2.6-8.diff.gz
 56529e4cf80a175870ff4011e2055f7f 1378968 doc optional acl2-doc_2.6-8_all.deb
 3b2a8ed4ef95371cd2fc68cb6e9d40ef 5741596 math optional acl2_2.6-8_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3a
Charset: noconv

iQCVAwUBPc8vnFRjAAQhp2rpAQFjJQQAic/dLskSVEGqCaz/WdTtBS0X3EUV8YZH
NMTlJptT9X3uo/6yTZ8iXTBcxNgMAiJLclHnMdefTKDjKLSo3CrBDTftyQcYtwFe
jLu1aIJF8YocApHQjKBq1lvYA+L708sUTb5R5/AUUk8UlWhYoc/A2nlhyeQWsSPH
P+HnHyxaTrc=
=We3g
-----END PGP SIGNATURE-----


Accepted:
acl2-doc_2.6-8_all.deb
  to pool/main/a/acl2/acl2-doc_2.6-8_all.deb
acl2_2.6-8.diff.gz
  to pool/main/a/acl2/acl2_2.6-8.diff.gz
acl2_2.6-8.dsc
  to pool/main/a/acl2/acl2_2.6-8.dsc
acl2_2.6-8_i386.deb
  to pool/main/a/acl2/acl2_2.6-8_i386.deb