Accepted acl2 2.6-4 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Tue, 29 Oct 2002 20:30:42 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-4
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
Changes: 
 acl2 (2.6-4) unstable; urgency=low
 .
   * Rerelease to use new gcl with fixes on ia64, hppa and arm
Files: 
 305c092d59c1a033bddf88bef89be0e1 696 math optional acl2_2.6-4.dsc
 3035215e55ab4c43e85b71220b04ab4d 6271 math optional acl2_2.6-4.diff.gz
 6b224825a27f1aebcf9bcc32830d9af9 1378750 math optional acl2-doc_2.6-4_all.deb
 02289e5897a4156c30624aa2f347a359 5745682 math optional acl2_2.6-4_i386.deb

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

iQCVAwUBPb86DlRjAAQhp2rpAQFLxgQAtRZwZhCX9/OJgOLrwPgeyyLdHKpIh9M4
tjfPxE3QvIe9Zq8jqgUsoGUwFj1g7E+14Uy/xSzb3sonEvJqIuXA/0uJdFAMGbBy
RPraoZ/u+qo+RrqSt11+Dgw9idvajjMJ31bQLIK89XiJdeM4xfVC7cBzeGnA+m7H
jfpmkvL3ohI=
=u4HN
-----END PGP SIGNATURE-----


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