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