Accepted acl2 3.0.1-8 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Thu, 19 Oct 2006 12:52:10 -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-8
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-8) unstable; urgency=low
 .
   * Fix dlopen.lisp.in
Files: 
 c0bdfa06148dbe468a089068f6953ccc 828 math optional acl2_3.0.1-8.dsc
 67b41c5ab2d0febdfb5179309c728f23 18195 math optional acl2_3.0.1-8.diff.gz
 8c1fd2a4a7bba5488c54ab643ad09509 2227452 math optional acl2-source_3.0.1-8_all.deb
 b97f206eb787910b96b2fdfaa322a74f 50536 math optional acl2-emacs_3.0.1-8_all.deb
 b124dfbbbe82b1c9a2f2369323712016 85326 math optional acl2-infix-source_3.0.1-8_all.deb
 69f294f22e7b550cf2642b1deb703e8b 1670580 math optional acl2-books-source_3.0.1-8_all.deb
 2c19993b0d2af8aca2b629f4c95787fe 3339172 math optional acl2-books-certs_3.0.1-8_all.deb
 62bfc5128cbb7ce00590af99212d4e29 1968048 doc optional acl2-doc_3.0.1-8_all.deb
 0ccd097cee77a8c2fb4fdb285832781d 15897618 math optional acl2_3.0.1-8_i386.deb
 b2c9f680abac7bfc08f61f75fc7e6a4c 171846 math optional acl2-infix_3.0.1-8_i386.deb
 8ee03f7f2a0699fdf037f5f3e756c271 1285722 math optional acl2-books_3.0.1-8_i386.deb

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

iD8DBQFFN9PRczG1wFfwRdwRAg/WAKCFuEgHlWfjgA69qmF+FtW2OLqzQgCglSa+
EtMPWG0uhVSoOnk7bxWJ9J0=
=JeAd
-----END PGP SIGNATURE-----


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