Accepted acl2 4.1-1 (source all i386)

[Camm Maguire <camm@debian.org>]

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

Format: 1.8
Date: Sun, 05 Sep 2010 00:27:43 +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 i386
Version: 4.1-1
Distribution: unstable
Urgency: low
Maintainer: Camm Maguire <camm@debian.org>
Changed-By: Camm Maguire <camm@debian.org>
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 (4.1-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1: 
 f3175e486e9fca13e9bca45f038c066e3bd654f8 1194 acl2_4.1-1.dsc
 1b1b3b88c50f49dbfcb11ba93a2f82befdbdaeea 11463683 acl2_4.1.orig.tar.gz
 4ad38b2b625c362c2be0da2b77248cc4c9c4e8f5 17523 acl2_4.1-1.debian.tar.gz
 f4d7e5c629c7e414121b60ced38636663e38502b 3033484 acl2-source_4.1-1_all.deb
 e39f9f761d18d8165682df1effb351fe558cf734 58378 acl2-emacs_4.1-1_all.deb
 e1052e71a882e1032fc4b985f2df229f3b651c51 89322 acl2-infix-source_4.1-1_all.deb
 0f8b7488b3196308615ca70f6e64c3d5c53695ba 5309392 acl2-books-source_4.1-1_all.deb
 b76acf8edebd7e8d02e91615364b5ec1d87edac1 2019088 acl2-books-certs_4.1-1_all.deb
 205d10547e614794af73d4f97a2d110385c66cee 2837304 acl2-doc_4.1-1_all.deb
 eaad57872ea5e853f78ca62a9a63d2d3992f6f5e 21865940 acl2_4.1-1_i386.deb
 db2feeedb0b370ad17270511422b6a189e509ab6 390444 acl2-infix_4.1-1_i386.deb
 8abc2942324b45df89fbff111b1b11375a934be1 34183186 acl2-books_4.1-1_i386.deb
Checksums-Sha256: 
 efd2ffa39baef81f9dba7aedeeebab9cd3e3626fa9aa2a2cd643bceb636b4500 1194 acl2_4.1-1.dsc
 5ff0cb73dd3c2a1c5ff339174799d4c0762fd2a6aff154f7982ac1758ee7bc21 11463683 acl2_4.1.orig.tar.gz
 f6d97d25457f83dd5fa194fa9b81e56f0092cbe8047d9eb1519495cffff6f9e9 17523 acl2_4.1-1.debian.tar.gz
 c9121f4ef0289368d07d6ae321730128e2d8bee2860f2b24377b5be001b2bee4 3033484 acl2-source_4.1-1_all.deb
 dd3220786ed36c5dda6f2fdf27466dfa9d722fe1529db8ec629ff8a6acc70b94 58378 acl2-emacs_4.1-1_all.deb
 9f9f57875b6e003d1a82735d978bdb4e3ff42d92245a911da0ad2b00cd43e03d 89322 acl2-infix-source_4.1-1_all.deb
 9d953de2e6f0406d347ee2a3581ff9f2a2968fc8562f0e3655aeafa345a3564c 5309392 acl2-books-source_4.1-1_all.deb
 397ebe9138389859e06d2a7f170ada80a56b4c791603b79a00b83c63026c01db 2019088 acl2-books-certs_4.1-1_all.deb
 d8318feb13fec1284f09d93f7a0ead208eb6c1398aba8968c810697fd89f60ec 2837304 acl2-doc_4.1-1_all.deb
 2dad20f8fea53116ee8e72dd0899231b2b71f7d1d22a23b0ae34bae6fa9b3921 21865940 acl2_4.1-1_i386.deb
 e59425bcb515ddd85845bf5d3b9ee2e79a87006f883144c197ccc76c5a2ec10e 390444 acl2-infix_4.1-1_i386.deb
 b5421283d2dd1bf3fe75e8c1dfc1a16434770327560fc749172c6da0ff5e04d9 34183186 acl2-books_4.1-1_i386.deb
Files: 
 a57825d37f7aeb54668cb7bea5bf47b6 1194 math optional acl2_4.1-1.dsc
 2d1883febcbf57a905ef058edb9fe544 11463683 math optional acl2_4.1.orig.tar.gz
 4954b4eb12009ff5c9dc666948354d52 17523 math optional acl2_4.1-1.debian.tar.gz
 8a0d2e391dad4a924de12d6673be6e99 3033484 math optional acl2-source_4.1-1_all.deb
 0dc899ec568673cacdb909a8be6ba3f3 58378 math optional acl2-emacs_4.1-1_all.deb
 dd2c4412344b9798c0593523f4b1468d 89322 math optional acl2-infix-source_4.1-1_all.deb
 f1aaac59dfa2baa4104d76b46a62c4c7 5309392 math optional acl2-books-source_4.1-1_all.deb
 1c1641d7683d72ca66d8e42133ee1e94 2019088 math optional acl2-books-certs_4.1-1_all.deb
 8e33b39306c4e8c8576cb95ee950f862 2837304 doc optional acl2-doc_4.1-1_all.deb
 61155372983a58f42091d10e1b16b1f3 21865940 math optional acl2_4.1-1_i386.deb
 32a8dbfff53133d77f58a57c9b0ff6e6 390444 math optional acl2-infix_4.1-1_i386.deb
 408bca0d219a389b626a780ba07a1073 34183186 math optional acl2-books_4.1-1_i386.deb

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

iEYEARECAAYFAkyDDMEACgkQczG1wFfwRdwbmgCgiaaGyfqQzHVTBNLsn78MdfLx
pqIAn3wAM3bmipg0XxjJeFFFOquUON+q
=KmHV
-----END PGP SIGNATURE-----


Accepted:
acl2-books-certs_4.1-1_all.deb
  to main/a/acl2/acl2-books-certs_4.1-1_all.deb
acl2-books-source_4.1-1_all.deb
  to main/a/acl2/acl2-books-source_4.1-1_all.deb
acl2-books_4.1-1_i386.deb
  to main/a/acl2/acl2-books_4.1-1_i386.deb
acl2-doc_4.1-1_all.deb
  to main/a/acl2/acl2-doc_4.1-1_all.deb
acl2-emacs_4.1-1_all.deb
  to main/a/acl2/acl2-emacs_4.1-1_all.deb
acl2-infix-source_4.1-1_all.deb
  to main/a/acl2/acl2-infix-source_4.1-1_all.deb
acl2-infix_4.1-1_i386.deb
  to main/a/acl2/acl2-infix_4.1-1_i386.deb
acl2-source_4.1-1_all.deb
  to main/a/acl2/acl2-source_4.1-1_all.deb
acl2_4.1-1.debian.tar.gz
  to main/a/acl2/acl2_4.1-1.debian.tar.gz
acl2_4.1-1.dsc
  to main/a/acl2/acl2_4.1-1.dsc
acl2_4.1-1_i386.deb
  to main/a/acl2/acl2_4.1-1_i386.deb
acl2_4.1.orig.tar.gz
  to main/a/acl2/acl2_4.1.orig.tar.gz