Accepted acl2 3.0.1-3 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Wed, 11 Oct 2006 11:09:29 -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-3
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-3) unstable; urgency=low
 .
   * Build-Depend on gcl_2.6.7-23
   * Newer standards
Files: 
 5226737aa68844c91564315ff0c19d2e 803 math optional acl2_3.0.1-3.dsc
 0149e89cb1f406b1f9edcff2b1f3d5da 17949 math optional acl2_3.0.1-3.diff.gz
 2eb73a81f92c6a5916b557aff353fe55 2227240 math optional acl2-source_3.0.1-3_all.deb
 58763d32853b7c27513f8258618b01e5 50324 math optional acl2-emacs_3.0.1-3_all.deb
 8d73c357c7a4429349a0ee558415c160 85114 math optional acl2-infix-source_3.0.1-3_all.deb
 75f735ecf153ee8fd1976d95be5aae5c 1670364 math optional acl2-books-source_3.0.1-3_all.deb
 2202b7caae8155f1457bbe7d2e8d731f 3339202 math optional acl2-books-certs_3.0.1-3_all.deb
 fa7a78c08f23b936a2b84457534e2a8b 1967866 doc optional acl2-doc_3.0.1-3_all.deb
 d7bf33958a4952986fa8c09c96b1b288 15878296 math optional acl2_3.0.1-3_i386.deb
 28302614602ac514286aaaf11be2304e 171686 math optional acl2-infix_3.0.1-3_i386.deb
 23eaa421bc3b96beb82a04ee96ece428 1285532 math optional acl2-books_3.0.1-3_i386.deb

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

iD8DBQFFLSmSczG1wFfwRdwRAivqAJ9xJaXQIFahsti1f+BvU52oIrTi4wCgpglN
cz7XekINov06nI18DqdTTxQ=
=MrH+
-----END PGP SIGNATURE-----


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