Accepted acl2 2.6-15 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Sun, 17 Nov 2002 16:36:09 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-15
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-15) unstable; urgency=low
 .
   * Correct final pathnames in certs
   * remove TMP1.lisp
Files: 
 41084d6c522b1db4c990142b0c14afa3 888 math optional acl2_2.6-15.dsc
 9826905d6f696733d4101d1054495374 14216 math optional acl2_2.6-15.diff.gz
 acaa883f1257023eaa7b42114b72b1ee 1449734 doc optional acl2-doc_2.6-15_all.deb
 4c23c7c1445cb20d99e63d73652df25b 8436508 math optional acl2_2.6-15_i386.deb

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

iQCVAwUBPdgRKFRjAAQhp2rpAQE3IgP/Q+a9zWcfbTUC9S9nUdpCpqS4XjfjKLlM
I56ysHA3OwTXgr1kCPgpnRHcEOAEl0wxBQdRWYwmKWPm9+2Pd13/fHpgF2tSEtwP
Krzvfd894i6ivE0CyriVB9Lec7V7vILytJw2lw4vSvf06iKjY/8ZvcUuzfJY8Z2N
q9gPI+3KebM=
=nzgm
-----END PGP SIGNATURE-----


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