Accepted acl2 3.0.1-5 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Mon, 16 Oct 2006 18:05:05 -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-5
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-5) unstable; urgency=low
 .
   * Add user::*fast-acl2-gcl-build* and user::*acl2-keep-tmp-files*
     parameters to dlopen following upstream
   * Build-Depend on gcl_2.6.7-26
Files: 
 580b7c5d4cb570163f9d50f112a11cb4 803 math optional acl2_3.0.1-5.dsc
 9ff1d05c8e7a8d04997847f272ad8a4f 18039 math optional acl2_3.0.1-5.diff.gz
 5322d480b992e588852e11bf6084622b 2227360 math optional acl2-source_3.0.1-5_all.deb
 f778697f4ee39ab20041ede1d1cdf04e 50442 math optional acl2-emacs_3.0.1-5_all.deb
 184023d064944c5103119c2e206d4201 85230 math optional acl2-infix-source_3.0.1-5_all.deb
 f8888f9d64ea361ff8178820f3588955 1670474 math optional acl2-books-source_3.0.1-5_all.deb
 1efb8bb70eb9627ed4bafaf9d23a028c 3338982 math optional acl2-books-certs_3.0.1-5_all.deb
 e91bd6579ddd2fcc4dc484c7c2061148 1967944 doc optional acl2-doc_3.0.1-5_all.deb
 ee2be4a5b86bb83d82b3d4c3169d5705 15878560 math optional acl2_3.0.1-5_i386.deb
 e4f3c718234541193a0891bea20e6613 171784 math optional acl2-infix_3.0.1-5_i386.deb
 dc372819b209de006bc813ee346ca631 1285568 math optional acl2-books_3.0.1-5_i386.deb

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

iD8DBQFFNEcSczG1wFfwRdwRAhvtAJ4vt+s5WHJXp0YUW/P48geLt0iFnwCeNdMq
w4aRrHm8Twe2uIhpPLVP958=
=GMxy
-----END PGP SIGNATURE-----


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