Accepted acl2 2.9.3-2 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Tue, 20 Sep 2005 19:49:42 +0000
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: 2.9.3-2
Distribution: unstable
Urgency: high
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 (2.9.3-2) unstable; urgency=high
 .
   * Depend on gcl 2.6.7-6 or greater with its own binutils included,
     remove dependency on binutils-dev
Files: 
 4a65dbe2a38e80053df7e27e77a4bece 804 math optional acl2_2.9.3-2.dsc
 b4f3f0ba2099554bf50900f8ac919490 19366 math optional acl2_2.9.3-2.diff.gz
 f8f5d0c4132af9538861ef6da6aafb5b 2113390 math optional acl2-source_2.9.3-2_all.deb
 1af94245c08b02f331d212e7ffdf03a9 49086 math optional acl2-emacs_2.9.3-2_all.deb
 54291ac4f6c86b59d7100f82f0cf3e50 84562 math optional acl2-infix-source_2.9.3-2_all.deb
 489ba5da459fc4934768f21671394d6d 1297662 math optional acl2-books-source_2.9.3-2_all.deb
 94b48f52c71266d794deffdd1c6888b4 380626 math optional acl2-books-certs_2.9.3-2_all.deb
 a71663158444119cabaac3879d9764d4 1864354 doc optional acl2-doc_2.9.3-2_all.deb
 57cd8e55fcdd70af4fef6ad9ffc4684c 14130648 math optional acl2_2.9.3-2_i386.deb
 03f41831f3cb08c31d53bc06bcebd35f 173322 math optional acl2-infix_2.9.3-2_i386.deb
 d9e5a8104bf1a89470993a2fa7ab76e3 859826 math optional acl2-books_2.9.3-2_i386.deb

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

iD8DBQFDMbPEczG1wFfwRdwRAsfmAJ44BLVPqk+cHJeoCwckVTqr7M3m6gCfS77s
kr6K4V9DzbPRAV7An829pn8=
=dlA+
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_2.9.3-2_all.deb
  to pool/main/a/acl2/acl2-books-certs_2.9.3-2_all.deb
acl2-books-source_2.9.3-2_all.deb
  to pool/main/a/acl2/acl2-books-source_2.9.3-2_all.deb
acl2-books_2.9.3-2_i386.deb
  to pool/main/a/acl2/acl2-books_2.9.3-2_i386.deb
acl2-doc_2.9.3-2_all.deb
  to pool/main/a/acl2/acl2-doc_2.9.3-2_all.deb
acl2-emacs_2.9.3-2_all.deb
  to pool/main/a/acl2/acl2-emacs_2.9.3-2_all.deb
acl2-infix-source_2.9.3-2_all.deb
  to pool/main/a/acl2/acl2-infix-source_2.9.3-2_all.deb
acl2-infix_2.9.3-2_i386.deb
  to pool/main/a/acl2/acl2-infix_2.9.3-2_i386.deb
acl2-source_2.9.3-2_all.deb
  to pool/main/a/acl2/acl2-source_2.9.3-2_all.deb
acl2_2.9.3-2.diff.gz
  to pool/main/a/acl2/acl2_2.9.3-2.diff.gz
acl2_2.9.3-2.dsc
  to pool/main/a/acl2/acl2_2.9.3-2.dsc
acl2_2.9.3-2_i386.deb
  to pool/main/a/acl2/acl2_2.9.3-2_i386.deb