Accepted acl2 3.0.1-6 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Tue, 17 Oct 2006 18:19:47 -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-6
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-6) unstable; urgency=low
 .
   * really change dlopen
   * build dep on gcl_2.6.7-27
Files: 
 5b51445cab8b74e4d21f98c29f28bc8a 803 math optional acl2_3.0.1-6.dsc
 ed46a8a0fdb018c5c3698a019374b411 18121 math optional acl2_3.0.1-6.diff.gz
 14de6187e48c649874934a95e070698f 2227396 math optional acl2-source_3.0.1-6_all.deb
 f7c5b94f971b22958b174bd38b8d8282 50476 math optional acl2-emacs_3.0.1-6_all.deb
 2dffda37e9c925a56f28043a0b592e36 85270 math optional acl2-infix-source_3.0.1-6_all.deb
 c0873f19518039010563e6bd30778f0e 1670550 math optional acl2-books-source_3.0.1-6_all.deb
 0c1e981d067b4b4efbe78b8f8f22e901 3339118 math optional acl2-books-certs_3.0.1-6_all.deb
 a6532343a1e7135e0e2faf42de19c3d9 1967986 doc optional acl2-doc_3.0.1-6_all.deb
 1af669b34cfa0363679e21ab2cd71bdc 15876934 math optional acl2_3.0.1-6_i386.deb
 8f4a49a10f32c86d5f7994c7ba79e440 171826 math optional acl2-infix_3.0.1-6_i386.deb
 98e4759348b51278a5c4b79bb9e356da 1285584 math optional acl2-books_3.0.1-6_i386.deb

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

iD8DBQFFNhARczG1wFfwRdwRAttJAKCRKglbPktJcGmtMOQ/UqXVcqS5ZACglTVM
ElEM13tY5nC5BS5MJB0UVts=
=mcym
-----END PGP SIGNATURE-----


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