Your message dated Mon, 03 Jan 2022 09:33:37 +0000 with message-id <e1n4jij-000472...@fasolo.debian.org> and subject line Bug#999261: fixed in boolector 1.5.118.6b56be4.121013-1.1 has caused the Debian Bug report #999261, regarding boolector: missing required debian/rules targets build-arch and/or build-indep 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.) -- 999261: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=999261 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Source: boolector Version: 1.5.118.6b56be4.121013-1 Severity: important Justification: Debian Policy section 4.9 Tags: bookworm sid User: debian...@lists.debian.org Usertags: missing-build-arch-indep Dear maintainer, Your package does not include build-arch and/or build-indep targets in debian/rules. This is required by Debian Policy section 4.9, since 2012. https://www.debian.org/doc/debian-policy/ch-source.html#main-building-script-debian-rules Please note that this is also a sign that the packaging of this software could benefit from a refresh. For example, packages using 'dh' cannot be affected by this issue. This mass bug filing was discussed on debian-devel@ in https://lists.debian.org/debian-devel/2021/11/msg00052.html . The severity of this bug will be changed to 'serious' after a month. Best, Lucas
--- End Message ---
--- Begin Message ---Source: boolector Source-Version: 1.5.118.6b56be4.121013-1.1 Done: Adrian Bunk <b...@debian.org> We believe that the bug you reported is fixed in the latest version of boolector, 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 999...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Adrian Bunk <b...@debian.org> (supplier of updated boolector 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: SHA512 Format: 1.8 Date: Mon, 27 Dec 2021 21:53:28 +0200 Source: boolector Architecture: source Version: 1.5.118.6b56be4.121013-1.1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Adrian Bunk <b...@debian.org> Closes: 965441 999261 Changes: boolector (1.5.118.6b56be4.121013-1.1) unstable; urgency=low . * Non-maintainer upload. * debian/compat: 5 -> 7. (Closes: #965441) * debian/rules: Add build-{arch,indep}. (Closes: #999261) Checksums-Sha1: 6e1fbc3bf900decd83d44a9756bfed6cdff2288d 2165 boolector_1.5.118.6b56be4.121013-1.1.dsc cfd3bb4c191e20046af1f4682e2287059ed1f535 4704 boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz Checksums-Sha256: bf2f37a125373101193db2b574f261a2746a5f4a95d4aed82a4e69b9e4beeb51 2165 boolector_1.5.118.6b56be4.121013-1.1.dsc 46b9da2978815cdaa340ac58101aee84b2595a5ed6641ee2a324b3e1176ea65c 4704 boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz Files: 1253cf6dbbb93c89751c16e99b03f4c8 2165 science extra boolector_1.5.118.6b56be4.121013-1.1.dsc 6925d3fda0b2f51ab7767113d45347c0 4704 science extra boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmHKGlcACgkQiNJCh6LY mLEBbRAAoEaI1faQe9KHDTBMoIMTcvSditth8MpOzf+BGQGX8ncKANT4GHXWLMrp plNl6RPuiqXXOWgTfQA3XHQVI1Sw5XXX73acDyA3DukzLn86e4mmk0uFtSx/UqDF ZEneicELuJxTkO7E3eMw5MAE4xz9CLI2E4kV7pv9ROWmdHe5e7feZhZXhpYYtSK1 iTvapkRFMZ4jDj8j5Wm8fR2zp76Y/ErpsHw6kl58NrE5xYuWSQ10aUWOtME+qKz5 Lk/lOyias+xr95jmUvghrkxkFCPKhlkkYFAZWX5lDHoL9H7p4wbCNuZeL3LrxIrz wq8+bAWRiB+UgM3a+q5Oe6xHVsFUSdXHnnToQu/VyCI6khdPTNMwlM6EprFWg+Ps ms8cp8NCIu376MfxsLdQBRiJzTSA+BLV9foVC23Etkx9Qr0O2VupP+J2ZGeakORn M3+F0CB7dhPGioH0Del6fC7UqhUO793psNQG+eVlTHLWvyJ65V0U8SGZXTb6dZd1 mKwMSOfbDg7FkW8oc3V3AOsqziRyRMXz1ofpGzTeAfnUx1EFEUVJYEl6ofF4UXw4 dumNc1wiAErqBFHz/LMR9MBizhtMnz9MRYVGRPOrNO0UXGJ+KkdEAHIIWmhB+82q l6BCHhce/Wsf+aiycYZo/xnbDlVuiuSbtChwP8E82r+r9XmgUGY= =N1hZ -----END PGP SIGNATURE-----
--- End Message ---
