Accepted acl2 2.6-11 (i386 source all)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Wed, 13 Nov 2002 21:35:22 -0500
Source: acl2
Binary: acl2-doc acl2
Architecture: source all i386
Version: 2.6-11
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-11) unstable; urgency=low
 .
   * Build-depends on binutils-dev for arches using bfd
Files: 
 63dfdf3b0ae56b41ba1ec7a4945fce48 863 math optional acl2_2.6-11.dsc
 ad935021da794d8da7044bb31bda1700 8917 math optional acl2_2.6-11.diff.gz
 128237e13b1d0e3876ad6acd77beb93b 1379090 doc optional acl2-doc_2.6-11_all.deb
 7ab6fe2f7d16a4efa8cefee31b750b9f 5741154 math optional acl2_2.6-11_i386.deb

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

iQCVAwUBPdMRSlRjAAQhp2rpAQHqCQQAhYtkov+9Bi+QfrV6j60XB+c5Zo4hIOrT
YPP+mPYRaJoQv1P1ba29GHlr4wF2rqYVyJ8sItKFr5tjJ0QfZ22Se3uL/rCWfj71
c6qaQsqkoSnTXoIS0zAEBLW6d5UvzFmh7mbKiAqacuxd+D+J9qhApiIBC6o5lMIv
nOsHBFbBDHA=
=+T7I
-----END PGP SIGNATURE-----


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