-----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
