Accepted acl2 3.0.1-7 (source all i386)

[Camm Maguire <camm@enhanced.com>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Wed, 18 Oct 2006 16:36:26 -0400
Source: acl2
Binary: acl2-books-certs acl2-doc acl2 acl2-infix-source acl2-infix acl2-source acl2-books-source acl2-books acl2-emacs
Architecture: source all i386
Version: 3.0.1-7
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@enhanced.com>
Changed-By: Camm Maguire <camm@enhanced.com>
Description: 
 acl2       - A Computational Logic for Applicative Common Lisp: main binary
 acl2-books - A Computational Logic for Applicative Common Lisp: compiled libra
 acl2-books-certs - A Computational Logic for Applicative Common Lisp: library certif
 acl2-books-source - A Computational Logic for Applicative Common Lisp: library source
 acl2-doc   - A Computational Logic for Applicative Common Lisp: documentation
 acl2-emacs - A Computational Logic for Applicative Common Lisp: emacs interfac
 acl2-infix - A Computational Logic for Applicative Common Lisp: infix interfac
 acl2-infix-source - A Computational Logic for Applicative Common Lisp: infix source
 acl2-source - A Computational Logic for Applicative Common Lisp: source files
Changes: 
 acl2 (3.0.1-7) unstable; urgency=low
 .
   * Build dep on libxmu-dev libxaw7-dev
Files: 
 1ab89ba48f71d69732b11f36b23f2e0b 828 math optional acl2_3.0.1-7.dsc
 7d311df5b7e9ba7bc4cc07d8674868bf 18161 math optional acl2_3.0.1-7.diff.gz
 bec43b6b1ca4211c1b54e320d8680590 2227424 math optional acl2-source_3.0.1-7_all.deb
 b597b424516cebfbbe82a68f6311977f 50498 math optional acl2-emacs_3.0.1-7_all.deb
 b584b4001b1e8896831821080968d0ad 85288 math optional acl2-infix-source_3.0.1-7_all.deb
 64c7e245cc87061bc4129c1fe7439e4b 1670552 math optional acl2-books-source_3.0.1-7_all.deb
 3d3f93fd90a67dac6c0773fc651b9bba 3339202 math optional acl2-books-certs_3.0.1-7_all.deb
 06cddb8a55e0c9d10532ebc154527f85 1968020 doc optional acl2-doc_3.0.1-7_all.deb
 cb7cc3efda7c710fa41ff6fb88f347e0 15897504 math optional acl2_3.0.1-7_i386.deb
 e0b12ee94615ebca06b973d13bdffcce 171818 math optional acl2-infix_3.0.1-7_i386.deb
 e162d9fe6789185f22cc3176510b48ee 1285794 math optional acl2-books_3.0.1-7_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)

iD8DBQFFNqj7czG1wFfwRdwRAm2uAJoD5X34ohKTfrzZFC+gTHVCnlhp2gCdGOme
OyWEqR5cb+LMpwhY6EQufVA=
=T4OI
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_3.0.1-7_all.deb
  to pool/main/a/acl2/acl2-books-certs_3.0.1-7_all.deb
acl2-books-source_3.0.1-7_all.deb
  to pool/main/a/acl2/acl2-books-source_3.0.1-7_all.deb
acl2-books_3.0.1-7_i386.deb
  to pool/main/a/acl2/acl2-books_3.0.1-7_i386.deb
acl2-doc_3.0.1-7_all.deb
  to pool/main/a/acl2/acl2-doc_3.0.1-7_all.deb
acl2-emacs_3.0.1-7_all.deb
  to pool/main/a/acl2/acl2-emacs_3.0.1-7_all.deb
acl2-infix-source_3.0.1-7_all.deb
  to pool/main/a/acl2/acl2-infix-source_3.0.1-7_all.deb
acl2-infix_3.0.1-7_i386.deb
  to pool/main/a/acl2/acl2-infix_3.0.1-7_i386.deb
acl2-source_3.0.1-7_all.deb
  to pool/main/a/acl2/acl2-source_3.0.1-7_all.deb
acl2_3.0.1-7.diff.gz
  to pool/main/a/acl2/acl2_3.0.1-7.diff.gz
acl2_3.0.1-7.dsc
  to pool/main/a/acl2/acl2_3.0.1-7.dsc
acl2_3.0.1-7_i386.deb
  to pool/main/a/acl2/acl2_3.0.1-7_i386.deb