Your message dated Mon, 12 May 2014 15:35:53 +0000 with message-id <e1wjsgf-0001mx...@franck.debian.org> and subject line Bug#747286: fixed in acl2 6.4-3 has caused the Debian Bug report #747286, regarding acl2: not buildable on buildds on some architectures to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 747286: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=747286 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---package: acl2 severity: serious version: 6.3-6 Hi, It looks like a large number of acl2 builds where uploaded manually, because they don't build on buildds. This is the case for mips and mipsel but also for some other architectures. Packages should build on buildds. If they don't, this is a release-critical bug, making the package unsuitable for release. Please ask for the removal of the acl2 binaries on architectures where it doesn't build on buildds. On a related note: if a package keeps failing after wasting more than 2 days of buildd time, please ask for it to be blacklisted on the that buildd/arch. Cheers, Ivo
--- End Message ---
--- Begin Message ---Source: acl2 Source-Version: 6.4-3 We believe that the bug you reported is fixed in the latest version of acl2, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 747...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Camm Maguire <c...@debian.org> (supplier of updated acl2 package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@ftp-master.debian.org) -----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 <c...@debian.org> Changed-By: Camm Maguire <c...@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-----
--- End Message ---
