-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 09 May 2014 15:38:15 +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 amd64 Version: 6.4-3 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: 747286 Changes: acl2 (6.4-3) unstable; urgency=low . * set HOME in rule to build saved_acl2.c * Bug fix: "not buildable on buildds on some architectures", thanks to Ivo De Decker (Closes: #747286). Checksums-Sha1: abb9fef90499dac10ec5668c2111c26da39ba93d 1814 acl2_6.4-3.dsc d8f1cc125e08bd20721b0ee8b2a3ec69d75cc2bb 126628 acl2_6.4-3.debian.tar.xz 5c6fd7c1308d19efb27b75d07b0cf167ce103624 2730514 acl2-source_6.4-3_all.deb 4fb48432ae099fe1aa5bbb19e9295e02239514a7 59826 acl2-emacs_6.4-3_all.deb 2e2a341ff124a002a621d54d4be5707fe78689cf 78106 acl2-infix-source_6.4-3_all.deb 9a27ecb953b3fcec90e4a06aa6d2fa437d3a59bf 6499790 acl2-books-source_6.4-3_all.deb a724d5917b7eb0e994ffc85ede507ddddc5c7f6d 4268440 acl2-books-certs_6.4-3_all.deb 4f7738fc88c9775ce43f837c562f43983d345de8 1639260 acl2-doc_6.4-3_all.deb 64593efc8c64e390ad3c9c4ca07766222cdeff4b 15263470 acl2_6.4-3_amd64.deb cb46d981f2415c1a187cb410ba85a470ce294391 151120 acl2-infix_6.4-3_amd64.deb 69cad5a5ee7449d23fbc10d0f6a0d804faf6ec90 19621762 acl2-books_6.4-3_amd64.deb Checksums-Sha256: 5d3cd23d4db3199234671764d350685aff341678bad45c8ae105c7823de207e1 1814 acl2_6.4-3.dsc 6141a3f5c8696a697e96c2650ea1b9be688861f2caa80a0950cffa8c32b526d1 126628 acl2_6.4-3.debian.tar.xz a39fe1e00ea677e4498f14288fc5ec46d049a8c1c9a287287e8b67e879daf640 2730514 acl2-source_6.4-3_all.deb d536608c385735fb8e8eac0dd33ba60c11c9dc3ac0fb71142e8c44979cea6dec 59826 acl2-emacs_6.4-3_all.deb 7a8fdd72e9608653ed7ea8508437f280d1f8e822ab99294a613988299cca989f 78106 acl2-infix-source_6.4-3_all.deb 4a35804ab2b5db7fa5f1579d71f85780adeca34e4e0cac9b23f8b5517feb7812 6499790 acl2-books-source_6.4-3_all.deb 861af255aa989373e4e9750a65c47d0fab0621f7d45b12c12b78a745b26fa184 4268440 acl2-books-certs_6.4-3_all.deb d387940becad67b90dc38bd68a181cd39b7d82915515fbd1e0b358e6abe470b4 1639260 acl2-doc_6.4-3_all.deb a0054bda41d12625565d4bacc64facc81e1892e36e4e1a7e4328052313adda03 15263470 acl2_6.4-3_amd64.deb 1c541cb3b84dfe8aff968ea6aeb09e7526c83009f01731590c1cbba9f3783950 151120 acl2-infix_6.4-3_amd64.deb c81749bde4023103c2d6d0fe9cf3613a774084ba42112b5593b98d3bb185ac65 19621762 acl2-books_6.4-3_amd64.deb Files: bc186c65fe8f93ac82f7556690d4010f 2730514 math optional acl2-source_6.4-3_all.deb 903b09f89184d7b626738f696660658d 59826 math optional acl2-emacs_6.4-3_all.deb fb44aca4588a54ffa7c3d727c505f6f0 78106 math optional acl2-infix-source_6.4-3_all.deb 00bf1dce38daba73cff1fde8fb161482 6499790 math optional acl2-books-source_6.4-3_all.deb 91b98064443f4a6c44c9c403a5d55c12 4268440 math optional acl2-books-certs_6.4-3_all.deb a3c25e47ca259f362fa8a146eec986f1 1639260 doc optional acl2-doc_6.4-3_all.deb 648b53cea6fe636425eac7c5630e6cd0 15263470 math optional acl2_6.4-3_amd64.deb 3e3a1ba6fb0aef485302de074a6d423a 151120 math optional acl2-infix_6.4-3_amd64.deb 3c78f522281df651e257adb2b74a4a3f 19621762 math optional acl2-books_6.4-3_amd64.deb 30d28162208847f16cb84e70d26944a1 1814 math optional acl2_6.4-3.dsc a2741a86484eaad83a9cccfb9c4a2256 126628 math optional acl2_6.4-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlNwI30ACgkQczG1wFfwRdzh+QCePXud49PPNcJMs65dCREoFh8i oeUAn2VmcKrmCt8wtKffwbyhVPz7RMb0 =AhId -----END PGP SIGNATURE-----
