-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 09 Jan 2012 21:41:00 +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.3-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.3-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 5f6ecdeae4da0c58f486ea2139f15184e6fb97ce 1478 acl2_4.3-1.dsc 3c2ef86f4ce07f11ffc3646b7e94eb6fed6422fe 15251431 acl2_4.3.orig.tar.gz 9f30ec27937f9995932ab7491e54a434a92e9c42 17745 acl2_4.3-1.debian.tar.gz 996497f2e65f8e9139694412cccb2bb17eb2a8e9 3287610 acl2-source_4.3-1_all.deb fe62af44543cc3cbc5f8a69609d8f6c9de03ff09 59038 acl2-emacs_4.3-1_all.deb 7a4e24eefe56b5cba23410f9d0634d4c2350aab5 89596 acl2-infix-source_4.3-1_all.deb 30d803df665800e6d313e999e1c95edfca016399 6460118 acl2-books-source_4.3-1_all.deb 846d9e92c6af4c42d5c682f315c3a839ea6290eb 4424650 acl2-books-certs_4.3-1_all.deb 889840176714d51d379a7e0aca06931b50bbb7a6 360542 acl2-doc_4.3-1_all.deb 89199ae70fec1bfbd18dbb9689d3a6e080704b10 24295366 acl2_4.3-1_i386.deb ba180e965ed5a4802a517fea8def52fe9e5a9007 182646 acl2-infix_4.3-1_i386.deb 724e66c39ea3d115a1243b81d732a894c3ca8673 13895034 acl2-books_4.3-1_i386.deb Checksums-Sha256: be341c7d76d4193bb7011c2fd57f32dbd03abacc3c32f93a01a2a4c79f08a3a3 1478 acl2_4.3-1.dsc da26affd74ea716e68262d8bd71489a365f937b6abdfca07fc77614c0c003a1d 15251431 acl2_4.3.orig.tar.gz fb4b8861ce5ad292863e07453bfeca42fbce00b3e604161e4ec9af0cb87a7199 17745 acl2_4.3-1.debian.tar.gz 5d31ad61f53855622ac34d9909be41d74bb778bd72f5778f4619d4c1a8a90932 3287610 acl2-source_4.3-1_all.deb adba37aeea23989d50a7c0fd356bfd5b87620f3c25ba18a1bbe72842a62cd692 59038 acl2-emacs_4.3-1_all.deb 31e144710961e4e0a92c67791ea9493b9d77c72a1c0e2320b3e21a5594528b76 89596 acl2-infix-source_4.3-1_all.deb ca4b81bfc0168cb837981c4a45026ddef08d04dd485ff360d083114f72f00bb8 6460118 acl2-books-source_4.3-1_all.deb 2c63a90c7a65a0c5726eb3d52d42f3775d4382e2700533f29f7ab8771a68e7cb 4424650 acl2-books-certs_4.3-1_all.deb 7d080f83f3788b949d09cd51d160e3b2e81149c65643a837fc1807c80d97bd52 360542 acl2-doc_4.3-1_all.deb 97f640f3e2eaf88d5eac702c5843771e15453c8ffbeda05e5063d25a901cf669 24295366 acl2_4.3-1_i386.deb 38ee1c4a398e7c1394c6fdb7820f1e8dd1177202d6a0dcd15e2130ee7c2b4bd5 182646 acl2-infix_4.3-1_i386.deb 3775717570606faf8c148e49f0e127c33ba6c10d112fd431ae448ea34d0deabf 13895034 acl2-books_4.3-1_i386.deb Files: 99f47bc1682ba9c910d227c0e42f938a 1478 math optional acl2_4.3-1.dsc 022c91284da963f344a699090057ddf4 15251431 math optional acl2_4.3.orig.tar.gz 0fbf5417a10a2a8742e55a46623bdb0b 17745 math optional acl2_4.3-1.debian.tar.gz 87c6a0e0c11197bc9be9e24b7ce20f22 3287610 math optional acl2-source_4.3-1_all.deb 93584ea0a16a5c3f03fc9bb7ad5c5841 59038 math optional acl2-emacs_4.3-1_all.deb f64a825e3946d5719392bbdad041ad5a 89596 math optional acl2-infix-source_4.3-1_all.deb 67b84bd095d88c34b295cc643e31d15f 6460118 math optional acl2-books-source_4.3-1_all.deb 58cbb3cf25000e815d60d3c9a47c4d99 4424650 math optional acl2-books-certs_4.3-1_all.deb 161d913165e572079bed4e15e68289fb 360542 doc optional acl2-doc_4.3-1_all.deb cc1f23f0e7aabe74528d40ec6475f8d4 24295366 math optional acl2_4.3-1_i386.deb 1a1ae4de04071b0b01752ce0292effea 182646 math optional acl2-infix_4.3-1_i386.deb 6183e786510fac86bd2c1e5dc00e3f45 13895034 math optional acl2-books_4.3-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk8N3usACgkQczG1wFfwRdy4HgCggw4Ts5fBFK5LePM77ZtTiyBh XgAAnRRjsn2QS82k4Oonqb+7c3wAZhbQ =+bj6 -----END PGP SIGNATURE----- Accepted: acl2-books-certs_4.3-1_all.deb to main/a/acl2/acl2-books-certs_4.3-1_all.deb acl2-books-source_4.3-1_all.deb to main/a/acl2/acl2-books-source_4.3-1_all.deb acl2-books_4.3-1_i386.deb to main/a/acl2/acl2-books_4.3-1_i386.deb acl2-doc_4.3-1_all.deb to main/a/acl2/acl2-doc_4.3-1_all.deb acl2-emacs_4.3-1_all.deb to main/a/acl2/acl2-emacs_4.3-1_all.deb acl2-infix-source_4.3-1_all.deb to main/a/acl2/acl2-infix-source_4.3-1_all.deb acl2-infix_4.3-1_i386.deb to main/a/acl2/acl2-infix_4.3-1_i386.deb acl2-source_4.3-1_all.deb to main/a/acl2/acl2-source_4.3-1_all.deb acl2_4.3-1.debian.tar.gz to main/a/acl2/acl2_4.3-1.debian.tar.gz acl2_4.3-1.dsc to main/a/acl2/acl2_4.3-1.dsc acl2_4.3-1_i386.deb to main/a/acl2/acl2_4.3-1_i386.deb acl2_4.3.orig.tar.gz to main/a/acl2/acl2_4.3.orig.tar.gz
