-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 20 Jan 2012 14:18:55 +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-2 Distribution: unstable Urgency: low Maintainer: Camm Maguire <camm@debian.org> Changed-By: Camm Maguire <camm@debian.org> Description: acl2 - Computational Logic for Applicative Common Lisp: main binary acl2-books - Computational Logic for Applicative Common Lisp: compiled librari acl2-books-certs - Computational Logic for Applicative Common Lisp: library certific acl2-books-source - Computational Logic for Applicative Common Lisp: library sources acl2-doc - Computational Logic for Applicative Common Lisp: documentation acl2-emacs - Computational Logic for Applicative Common Lisp: emacs interface acl2-infix - Computational Logic for Applicative Common Lisp: infix interface acl2-infix-source - Computational Logic for Applicative Common Lisp: infix source acl2-source - Computational Logic for Applicative Common Lisp: source files Closes: 647919 Changes: acl2 (4.3-2) unstable; urgency=low . * remove special NO_STRIP for ppc * multiply-stacks by 4 on #-native-reloc * Bug fix: "Please add support for build-arch and build-indep targets", thanks to Niels Thykier (Closes: #647919). Checksums-Sha1: 40baa2181c23c89b65f465a75f786047cb463830 1478 acl2_4.3-2.dsc b3cfec595ae4622b4f51c6be980cb3e007586f2c 17942 acl2_4.3-2.debian.tar.gz 63b66d0647f103df3dabd2c1259ea7e83df40844 3287706 acl2-source_4.3-2_all.deb 92ffa5c7a661f30da9344f62e758694b395bae48 59150 acl2-emacs_4.3-2_all.deb 015f21615adc5d142d645d71ab326e42bd41ee79 89704 acl2-infix-source_4.3-2_all.deb 7abe5f40e172f6ddcdeba3b7ae444681e6690649 6460242 acl2-books-source_4.3-2_all.deb 92628e249cbb7bd34fdc2d7b0667986538b08b1a 4424678 acl2-books-certs_4.3-2_all.deb 70b7daef098f29ff3c86d407c68f04c0cc2d27a3 360400 acl2-doc_4.3-2_all.deb d186afbe78d593b4b43f2214ef3eab232bfbea91 24333534 acl2_4.3-2_i386.deb abed6b98103487965b2f4c7e0f08e0d02f390dc8 182438 acl2-infix_4.3-2_i386.deb 1a734b089ca186bec56c82588e0782b89b4a03ea 13895614 acl2-books_4.3-2_i386.deb Checksums-Sha256: 81bf6022e2798c76596277f91ca62ce1b28992048b4081fad0d283e60acde746 1478 acl2_4.3-2.dsc dffcc36c2220534b47709ddb9baa739ffe5a9cae4d9a45822f8d38c8159d9b22 17942 acl2_4.3-2.debian.tar.gz a11a60b28c0753f5660ca6c1e316f590ac94cb68303d02512a536264977aeabd 3287706 acl2-source_4.3-2_all.deb 0bb77d8b23e69be8df23777da875fe0a92126c3928b7dc5da6635de6b39e63b5 59150 acl2-emacs_4.3-2_all.deb b70507e4c185570a38981339a8fedd71b543a0d278c0f93ea654d4a4c33e71bb 89704 acl2-infix-source_4.3-2_all.deb 112dd1659c81da4f4e3b8c2908f6ed16b6e487561b45aefeaa8ff89de55d0b9c 6460242 acl2-books-source_4.3-2_all.deb 82ed9cc2065355e9518456ca508d19f4b4f25456caf2ce36bcffab57cedd096c 4424678 acl2-books-certs_4.3-2_all.deb c3f9f321c5b647564d73fffeee5d1e7266c22348a6da07cabdcf2e1ac9ca00f7 360400 acl2-doc_4.3-2_all.deb d44c43ff7b75c2109b77f5be6a76f59c647f21aec86aa641dde80f262387f981 24333534 acl2_4.3-2_i386.deb f3dbd503b6890897529a1a8c8ed10e0c6dd113c70ecaf6da21755651d2a59465 182438 acl2-infix_4.3-2_i386.deb c4bc35abf374ef2583f872ad7e4ea9fc73513cedee9afdd5856872f523db95aa 13895614 acl2-books_4.3-2_i386.deb Files: f48408f446ed4ad5b5f2445b1d6286f7 1478 math optional acl2_4.3-2.dsc 56915ee4c5ffcc12402269cfc1e67a06 17942 math optional acl2_4.3-2.debian.tar.gz f9e44b6ddc9b84bb7af494f5d7676176 3287706 math optional acl2-source_4.3-2_all.deb 820a713174592604ca544ebcbfd9151e 59150 math optional acl2-emacs_4.3-2_all.deb 480072ee1d2abe29781f300700cda39f 89704 math optional acl2-infix-source_4.3-2_all.deb c7378b3c0e01b6106d49470ebd7fbc7f 6460242 math optional acl2-books-source_4.3-2_all.deb db114bb07167afdfaeadab1748222ac5 4424678 math optional acl2-books-certs_4.3-2_all.deb 32514cd483ee4526278d6078b3bc1368 360400 doc optional acl2-doc_4.3-2_all.deb 5e46abf42c3cd2bbf926e0c5509eb323 24333534 math optional acl2_4.3-2_i386.deb 7c1a6b4d9002ba25e7481002f76c4087 182438 math optional acl2-infix_4.3-2_i386.deb e5ad412d32c0a2a5a477c29806b77c9d 13895614 math optional acl2-books_4.3-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk8bLpwACgkQczG1wFfwRdzcXACeMCUjLNNsevK3HZN20jaJyL+E m2MAoJsBybZzmxeCx9lESNZ7et8FA+wJ =D/nv -----END PGP SIGNATURE----- Accepted: acl2-books-certs_4.3-2_all.deb to main/a/acl2/acl2-books-certs_4.3-2_all.deb acl2-books-source_4.3-2_all.deb to main/a/acl2/acl2-books-source_4.3-2_all.deb acl2-books_4.3-2_i386.deb to main/a/acl2/acl2-books_4.3-2_i386.deb acl2-doc_4.3-2_all.deb to main/a/acl2/acl2-doc_4.3-2_all.deb acl2-emacs_4.3-2_all.deb to main/a/acl2/acl2-emacs_4.3-2_all.deb acl2-infix-source_4.3-2_all.deb to main/a/acl2/acl2-infix-source_4.3-2_all.deb acl2-infix_4.3-2_i386.deb to main/a/acl2/acl2-infix_4.3-2_i386.deb acl2-source_4.3-2_all.deb to main/a/acl2/acl2-source_4.3-2_all.deb acl2_4.3-2.debian.tar.gz to main/a/acl2/acl2_4.3-2.debian.tar.gz acl2_4.3-2.dsc to main/a/acl2/acl2_4.3-2.dsc acl2_4.3-2_i386.deb to main/a/acl2/acl2_4.3-2_i386.deb
