Accepted acl2 2.6-14 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Sun, 17 Nov 2002 12:28:46 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-14
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-14) unstable; urgency=low
 .
   * Fix bad diff, Closes #169493
Files: 
 52c41a65871cc15f6fc006db28290813 888 math optional acl2_2.6-14.dsc
 14e5a34bfa99e86da4544d168e57eb05 14125 math optional acl2_2.6-14.diff.gz
 e3029f82c48366a2ddbb353c8192bae8 1449662 doc optional acl2-doc_2.6-14_all.deb
 1419ff1c8cefd2544f2c924da627134d 8467636 math optional acl2_2.6-14_i386.deb

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

iQCVAwUBPdfYZlRjAAQhp2rpAQGeeQQAsMaJVtMb0fxzrraS1zOwzQQJNXkBIotm
TJ4Xcb/9IuX1nI+ensNAbRaeZLQFenaTMfykBAoauzUuAYTbcv/K8Er259n2ambw
VOUDouVJGu4H2lxD/7ZupJ9p5jd8m+27Mb/Q5k8pM5oHGpuaLkSxpHe3zT9W3TIi
/XsEUM+xyUw=
=6Jky
-----END PGP SIGNATURE-----


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