Accepted acl2 4.2-1 (source all i386)

[Camm Maguire <camm@debian.org>]

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

Format: 1.8
Date: Fri, 13 May 2011 13:14: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 i386
Version: 4.2-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.2-1) unstable; urgency=low
 .
   * New upstream release
Checksums-Sha1: 
 8fbe019efccbc4556407f9925dade0d8911e25a6 1194 acl2_4.2-1.dsc
 75c24b3fc6b1ca0e7a4163fd47088eca3b0c1104 11699557 acl2_4.2.orig.tar.gz
 baf85e72b3ae8d01fdd67de9b991cb569d5683d9 17887 acl2_4.2-1.debian.tar.gz
 466b454410d96cb3bc00bf3ded04a18d5df9f8f7 3132530 acl2-source_4.2-1_all.deb
 8aa1410e8c4566f22f128f9e10745e91ea26b969 58014 acl2-emacs_4.2-1_all.deb
 ff23bf216069742a371f66fd661bfc6700764d73 87700 acl2-infix-source_4.2-1_all.deb
 a44638217d9ab543474c1c538765fc3bae9aff36 5338388 acl2-books-source_4.2-1_all.deb
 0c596ec2bbecc11b9e4541bc91186510a9fb3e40 2032052 acl2-books-certs_4.2-1_all.deb
 e392d3f78e6529db4a490521ad63dfa41f0e017b 227914 acl2-doc_4.2-1_all.deb
 fc18f56e16d6b60ddd033869f565c2a9a2717e3c 22931120 acl2_4.2-1_i386.deb
 feb5dc407efa876a65623e8fe7a62042327ccf57 414960 acl2-infix_4.2-1_i386.deb
 bf9897ba9853f9a6b506a02215d01ca2d9c173cf 36418198 acl2-books_4.2-1_i386.deb
Checksums-Sha256: 
 99902c1fc4d88e02e45f99ee22266bb460cef53e408e2c2b6c1cc2eaaaa13600 1194 acl2_4.2-1.dsc
 0f727b44257640346dc6eecc046f339b171676e79c31883535281e61bbfca077 11699557 acl2_4.2.orig.tar.gz
 ea139a208950bc60d7237ae8d1138af14951d2e63239a7d82dadaefadf6efb6c 17887 acl2_4.2-1.debian.tar.gz
 a7e51682e789dfc7cd0e3452c4d0e20506d41524011ebbda07d9f67f93d7e71a 3132530 acl2-source_4.2-1_all.deb
 0a2c66fd486d4852f16d2219f68762ee22ceab18cfbe98a2ac4ce60032fa7b17 58014 acl2-emacs_4.2-1_all.deb
 3c382a06b73fa2c04694cd04841af4a586fc04c2494bbcfe5b22bca000c88e9b 87700 acl2-infix-source_4.2-1_all.deb
 9dd4d5cb33ae520ac3afc307c56280fad041e91112748a48f26a0ff2910acb47 5338388 acl2-books-source_4.2-1_all.deb
 82988c638ecdb4779eee118f52c91374bab1d75e41a1f318797c1c0e581fe8f7 2032052 acl2-books-certs_4.2-1_all.deb
 96b0d77ca913a316da2313c9e107d301f53ccb3c0297d54bc1d2d989ed8899ad 227914 acl2-doc_4.2-1_all.deb
 087509950f11b527e2ddf804c98a9b601a33694ec67fbabb69af8b235a334414 22931120 acl2_4.2-1_i386.deb
 c8e04d5ddb5452c0bc480501b8bf3629d8045966ebeab7029b608f5c08511e64 414960 acl2-infix_4.2-1_i386.deb
 ae4b095e292258214aff01c1faaa9665f81349e2c453c5eb957ec6bc706729b4 36418198 acl2-books_4.2-1_i386.deb
Files: 
 75373ac044875b60f0c50e5dda131362 1194 math optional acl2_4.2-1.dsc
 0640f22d24158cc4e17d499df3e0c069 11699557 math optional acl2_4.2.orig.tar.gz
 941c9c30b4244f23e745fd0a9571ef50 17887 math optional acl2_4.2-1.debian.tar.gz
 10dfe2197fdac5b13cf4cb8563bbf3ce 3132530 math optional acl2-source_4.2-1_all.deb
 197cf7ca9eb55d9e020b601aac972f8e 58014 math optional acl2-emacs_4.2-1_all.deb
 f076b97f996814fa59005f5f65a1c2a5 87700 math optional acl2-infix-source_4.2-1_all.deb
 61642b58071407523b15c924438706eb 5338388 math optional acl2-books-source_4.2-1_all.deb
 b427a88ce318ab2d144002bbdf60a8bf 2032052 math optional acl2-books-certs_4.2-1_all.deb
 af2ba254f749013225fa47d063c889bc 227914 doc optional acl2-doc_4.2-1_all.deb
 bcc5fefeb780468b9784b233a4ad5d3c 22931120 math optional acl2_4.2-1_i386.deb
 9c0a4c2a8d5e391ad64154f4f85e471c 414960 math optional acl2-infix_4.2-1_i386.deb
 c459a10891da741fdce84ae98c457339 36418198 math optional acl2-books_4.2-1_i386.deb

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

iEYEARECAAYFAk3OjU4ACgkQczG1wFfwRdzNhACbBl/P9hmG3GoWLf4B9kKsmvX0
1fMAoIUW9u1jSShfEpJeAuBIBP6GBajf
=tb0w
-----END PGP SIGNATURE-----


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