Accepted acl2 2.6-9 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Wed, 13 Nov 2002 12:02:44 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-9
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-9) unstable; urgency=low
 .
   * gcl >= -67 for ppc and m68k
Files: 
 0edb8bfba636fe30088fbcb618695f2e 762 math optional acl2_2.6-9.dsc
 67501f96b4d3e7cc774f1596ef0bd683 8786 math optional acl2_2.6-9.diff.gz
 a7cbbe815fa040e86ff4336a15e2baeb 1379018 doc optional acl2-doc_2.6-9_all.deb
 6b7293ba56a09fdbb7fd3ab3b102fcef 5741278 math optional acl2_2.6-9_i386.deb

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

iQCVAwUBPdKKmVRjAAQhp2rpAQFpYgQAir5Y0B7zIhY6bK7QxVtz/5ox6hho6Xa2
Q1ASpfkkcNK1x0Egl3BIkZRAQi/mUB0kQq5IKBse5SQ24edVw5rlXLFbxUVSXuS/
yKKycdEds0AZ2TEHnrKKt7dxgE+6AhbjTcTr6nz/s/tFwV/0fL2xXVLfEqQfb2OE
WtQQomV2ChM=
=m5rO
-----END PGP SIGNATURE-----


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