Accepted acl2 3.0.1-1 (source all i386)

[Camm Maguire <camm@enhanced.com>]

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

Format: 1.7
Date: Wed,  2 Aug 2006 17:02:24 +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: 3.0.1-1
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-1) unstable; urgency=low
 .
   * New upstream release
Files: 
 5eb32764ca5157f4fca60a336f17ab70 803 math optional acl2_3.0.1-1.dsc
 0101047f8966b1a235ada369d8307ce9 6033661 math optional acl2_3.0.1.orig.tar.gz
 cd0460237a5e39d83f563c3df4fa02c3 12957 math optional acl2_3.0.1-1.diff.gz
 70b53c02fe9833a7126a90033c6381a4 2227170 math optional acl2-source_3.0.1-1_all.deb
 627f935e2bd965f1c60b880cdee54dba 50240 math optional acl2-emacs_3.0.1-1_all.deb
 ff9fbd19bdd0d882f4563482a7f3c553 85028 math optional acl2-infix-source_3.0.1-1_all.deb
 4a5502ccf1387b83054b80766ece9799 1670272 math optional acl2-books-source_3.0.1-1_all.deb
 6ebe6cf506b5cc06b9c8412f65bba3e1 3338732 math optional acl2-books-certs_3.0.1-1_all.deb
 c9192b8068dcb088fa4203c7592f9da1 1967790 doc optional acl2-doc_3.0.1-1_all.deb
 52235a341dd4e9f276c71e4375b6cf05 15280310 math optional acl2_3.0.1-1_i386.deb
 1061d6701367a67be35b9f51708d5850 171612 math optional acl2-infix_3.0.1-1_i386.deb
 3fdbd11ecccf763aa66772dcc2e22812 1285336 math optional acl2-books_3.0.1-1_i386.deb

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

iD8DBQFE0QG/czG1wFfwRdwRAoREAJ9o0swyYG9vgagel8Rvjor4nyAXTACePKY3
JiG6InZv7AdFn65+4hJukUQ=
=1z7y
-----END PGP SIGNATURE-----


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