Accepted acl2 2.6-7 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Fri,  1 Nov 2002 19:01:57 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-7
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: 167356
Changes: 
 acl2 (2.6-7) unstable; urgency=low
 .
   * Add test targets
   * acl2-mode.el fix, Closes: #167356
Files: 
 c8c1058c09647aa1dfd8a6f44c165e7d 736 math optional acl2_2.6-7.dsc
 eef9351748e6993c2f10527339cc8218 7637 math optional acl2_2.6-7.diff.gz
 b4381f252fcecf08f16257565357df3a 1378940 doc optional acl2-doc_2.6-7_all.deb
 f1649c75bcf4cedaf8a0f17c42e57717 5762012 math optional acl2_2.6-7_i386.deb

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

iQCVAwUBPcMyBlRjAAQhp2rpAQEZyAQApzvmPX5oQt9KzUW/w4ux2wESo4fM4p5l
0YDUTiHnCrChQxhw2Mlz9yjtOjoIIzdbNOxyVW4fI1oHDQE+QT3V+hCKXMJF0Bgz
lW9ZUdg1UsH+JjHtxZFu9YQjve+p237UBTFHKD0kM8731gOsQ03DCsRpw3ER6CQS
7OHs6I2WOUA=
=ONj4
-----END PGP SIGNATURE-----


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