Accepted acl2 3.0.1-4 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Thu, 12 Oct 2006 14:41:53 -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-4
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-4) unstable; urgency=low
 .
   * Build-Depend on gcl_2.6.7-25
Files: 
 5cc5af26c5bd16d704648e865c74364f 803 math optional acl2_3.0.1-4.dsc
 37e81a1cf4b898378ad6a5c039832539 17966 math optional acl2_3.0.1-4.diff.gz
 dd77ab73d6ccce93e3d112cf1af4ad57 2227270 math optional acl2-source_3.0.1-4_all.deb
 187e8bf88ac4e4358654dbf0e2d77218 50336 math optional acl2-emacs_3.0.1-4_all.deb
 ab925559ef113c9819e98eb053b7aa13 85124 math optional acl2-infix-source_3.0.1-4_all.deb
 cb731a9ca6ce4552360cf727717c57c6 1670364 math optional acl2-books-source_3.0.1-4_all.deb
 f36351d228e0fdef01284765260f4829 3339222 math optional acl2-books-certs_3.0.1-4_all.deb
 1c9b2a81ffb50ef1be3021147aa46b96 1967866 doc optional acl2-doc_3.0.1-4_all.deb
 094d5d2eac1b5d68ee46b72231502f03 15876978 math optional acl2_3.0.1-4_i386.deb
 04ce01dd6c2d200c2b6a74efe2276dd1 171704 math optional acl2-infix_3.0.1-4_i386.deb
 1a730c260efaf89d4ae4031440dd2c67 1285460 math optional acl2-books_3.0.1-4_i386.deb

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

iD8DBQFFLq3NczG1wFfwRdwRAlUJAJ4i2DyRolN1wH58a0/r/xC+YCi44gCfSDy/
DwFlnjIFdTKj8f9adLobVOM=
=KHhY
-----END PGP SIGNATURE-----


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