Accepted acl2 6.1-1 (source all amd64)

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

Format: 1.8
Date: Tue, 23 Apr 2013 14:52:39 +0000
Source: acl2
Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc
Architecture: source all amd64
Version: 6.1-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
Description: 
 acl2       - Computational Logic for Applicative Common Lisp: main binary
 acl2-books - Computational Logic for Applicative Common Lisp: compiled librari
 acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific
 acl2-books-source - Computational Logic for Applicative Common Lisp: library sources
 acl2-doc   - Computational Logic for Applicative Common Lisp: documentation
 acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface
 acl2-infix - Computational Logic for Applicative Common Lisp: infix interface
 acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source
 acl2-source - Computational Logic for Applicative Common Lisp: source files
Changes: 
 acl2 (6.1-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1: 
 7e6ece145264f51154275bdd02af2f63098635aa 1741 acl2_6.1-1.dsc
 4cf24c6457f95e2acb921154d3f24b17f938cd8e 11131335 acl2_6.1.orig-books.tar.gz
 36f8c9312d3548e0db0375169f0eb2d3b61646a5 6865749 acl2_6.1.orig.tar.gz
 036f2fd133a21974b18bec1e7196f1570c7d4f9a 159603 acl2_6.1-1.debian.tar.gz
 38fd6a3928eb1a3fa843339ba1cc8042e97f4a56 3752160 acl2-source_6.1-1_all.deb
 6fb35dadb6e319b155d60d4e17250826ad8f4f31 61434 acl2-emacs_6.1-1_all.deb
 8cd3ecc019be703e060ca086d48ae7861dc198d2 92298 acl2-infix-source_6.1-1_all.deb
 e421c1cb13bb093f44742a3a2a8918b11db35730 7509256 acl2-books-source_6.1-1_all.deb
 6c16a000786a5faba9eb703596d018eec9291176 8884492 acl2-books-certs_6.1-1_all.deb
 eb076664731450e0ac7b3eb3e9d7b5df6a2f84e7 12301460 acl2-doc_6.1-1_all.deb
 6b1ec21c431974ea483d12dd3b767adba2a551a1 31561448 acl2_6.1-1_amd64.deb
 72d813d5771b603204b7cea2265b4e8f612caef0 207254 acl2-infix_6.1-1_amd64.deb
 6a3afb037ba7ed2fb8db7ed9e00c0f64df1c504d 30065870 acl2-books_6.1-1_amd64.deb
Checksums-Sha256: 
 94fda2c3ef02a2f30f39a8a0453a2bb78604ffd0a05654ebd5dcf55fe17079e2 1741 acl2_6.1-1.dsc
 6ed80eb4197dde8d851eb719cee70dfb9f054f8e19ff9cd7ef8cb282d5aa9df1 11131335 acl2_6.1.orig-books.tar.gz
 a717e9a79a8606d44b5b11696fce2134e62dc63a052a779806245aac6b33c075 6865749 acl2_6.1.orig.tar.gz
 90ddb64d7762d5b0cac8819b8ac18f8a936983320be7bc927d3d4980cb8adef0 159603 acl2_6.1-1.debian.tar.gz
 68ddec78f8030db9aec0f6c5a13cde2593df811f6ae5c5b9509963d883918b90 3752160 acl2-source_6.1-1_all.deb
 938dcaa22ab5846983228c16963d966996f895a358269f120ed4aa2ee1bf5ac1 61434 acl2-emacs_6.1-1_all.deb
 c3ffe933cb0a04f6c34d0048f638d00fc5caaafa903c610800c26426c40ac00a 92298 acl2-infix-source_6.1-1_all.deb
 0bcd0029f47ffa82b611fe5584b3561fa25236d4db42251661586cf19c3d9bc2 7509256 acl2-books-source_6.1-1_all.deb
 0901e73b8895bb0e66dcc4460fb2d24c295231a2cea2311f41e157ed1b4f7c24 8884492 acl2-books-certs_6.1-1_all.deb
 4884fdb9872960af0dac9d8e271e111ca1372d545c0bf323bbfce2e2b635f920 12301460 acl2-doc_6.1-1_all.deb
 788ee0765c5b4cfb58e7e3f541b971d60e520ee0468bf01c3b117e748b366657 31561448 acl2_6.1-1_amd64.deb
 23e5977b1951329401e8b697f26478190bd7f71bd7b59aa7a59f81409356fbd3 207254 acl2-infix_6.1-1_amd64.deb
 9463c598fe1ad93e4851eefe6f8ea6e11284e8aa3cca7b5a1dfaef7e1ae2cd0e 30065870 acl2-books_6.1-1_amd64.deb
Files: 
 457e2adf720085659a504d27c0c21158 1741 math optional acl2_6.1-1.dsc
 a48f50dedf5c3c36d733d214970244b5 11131335 math optional acl2_6.1.orig-books.tar.gz
 99693662aee214bcc4d9fcd19daa3f3c 6865749 math optional acl2_6.1.orig.tar.gz
 88334999f427d1f6a6009d5a4b008ebe 159603 math optional acl2_6.1-1.debian.tar.gz
 04045d68ac2fd0765bbfcfd1cc0d2d7b 3752160 math optional acl2-source_6.1-1_all.deb
 2767d365bc9399df303a73e1e7876535 61434 math optional acl2-emacs_6.1-1_all.deb
 f19f92328fe98d0e4ab67ce1da1e7abb 92298 math optional acl2-infix-source_6.1-1_all.deb
 ba94a8e9ba80dcded3d488b263d173c9 7509256 math optional acl2-books-source_6.1-1_all.deb
 da7dc6b46276c0959b1116d125dc6e0e 8884492 math optional acl2-books-certs_6.1-1_all.deb
 c2e448b7f4c308329da21e915730f6fd 12301460 doc optional acl2-doc_6.1-1_all.deb
 9a551ae6a08aabe7fd975914d52987de 31561448 math optional acl2_6.1-1_amd64.deb
 af8dbd92115d886075fc7917100697c5 207254 math optional acl2-infix_6.1-1_amd64.deb
 66505ef3e16e18a2a6b055b9534f1777 30065870 math optional acl2-books_6.1-1_amd64.deb

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

iEYEARECAAYFAlGQElkACgkQczG1wFfwRdxCfQCgmRflxAwggjSt11Fa7I0IrAto
lMAAn13pRjJlJEt6tMpFTJXZYsESG3jt
=pgh6
-----END PGP SIGNATURE-----