Your message dated Mon, 02 Mar 2026 16:31:54 +0000
with message-id <[email protected]>
and subject line Bug#1129345: fixed in bitwuzla 0.8.2-2
has caused the Debian Bug report #1129345,
regarding bitwuzla: please drop the extraneous "quilt" build dependency
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 [email protected]
immediately.)
--
1129345: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1129345
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: bitwuzla
Version: 0.8.2-1
Severity: normal
X-Debbugs-Cc: [email protected]
Dear maintainer,
Thanks for this new package !
It cames to my eyes because I'm running a new QA query since yesterday
and it just popped up. (this part might be interresting to Andreas too).
Many of the leftover "quilt" usage in the archive are
remnants of very ancient (< 2010) packaging practices
that were never cleaned up.
Here it's a new package, so it's just a little glitch.
With modern '3.0 (quilt)' packages, the handling of
the patch is done by dpkg itself, so no need
for "quilt" at build-time.
Of course you might be using quilt at source-preparation time;
like you are using git; but it's not strictly used during the build.
Greetings
Alexandre
Andreas: I should consider usertag this kind of bug report.
/tmp/bitwuzla$ grep quilt -ri
debian/source/format:3.0 (quilt)
debian/control: quilt,
/tmp/bitwuzla$
-----------------
#!/bin/sh
grep-dctrl --no-field-names --show-field=Package \
--whole-pkg
--field=Build-Depends,Build-Depends-Indep,Build-Depends-Arch "quilt" \
--and --not --field=Maintainer "Debian X Strike Force" \
/var/lib/apt/lists/*_debian_dists_unstable_*_Sources | \
grep -v nvidia | \
grep -v xserver | \
grep -v binutils | \
grep -v cross-toolchain-base | \
grep -v gcc | \
sort -u > sources
codesearch 'quilt path:debian/tests/control' --only > autopkgtest
# also check "reverse-depends -b quilt" later
#codesearch "/usr/share/quilt/quilt.make path:debian/rules
-path:package/debian/rules" --only-package > quilt.make
codesearch "dh_quilt_patch path:debian/rules" --only-package > dh_quilt_patch
git diff
--- End Message ---
--- Begin Message ---
Source: bitwuzla
Source-Version: 0.8.2-2
Done: Gábor Németh <[email protected]>
We believe that the bug you reported is fixed in the latest version of
bitwuzla, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Gábor Németh <[email protected]> (supplier of updated bitwuzla 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 02 Mar 2026 15:27:15 +0100
Source: bitwuzla
Architecture: source
Version: 0.8.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Gábor Németh <[email protected]>
Closes: 1129345
Changes:
bitwuzla (0.8.2-2) unstable; urgency=medium
.
* Fix d/watch
* Update Standards-Version to 4.7.3: drop default Priority in d/ctrl
* Drop B-D on quilt (Closes: #1129345)
* Implement multiarch hints
Checksums-Sha1:
6c92aa91a39d57d3aff014bf21a8539dfd75f753 2518 bitwuzla_0.8.2-2.dsc
39f2534c773206cf1cc3211f048d3239b2d88af0 4364 bitwuzla_0.8.2-2.debian.tar.xz
5fb6d44be06a0f20c43413f38ec2c2878cab2e1f 12686 bitwuzla_0.8.2-2_amd64.buildinfo
Checksums-Sha256:
1d6764680c33bdbbb29d7500a9d35ff5558d73de1f10cde3bd8108079766fbc4 2518
bitwuzla_0.8.2-2.dsc
e1e30ff2c99b0297554e8db33835bc733d4ab416bd5f5ba21f85ecfaef574774 4364
bitwuzla_0.8.2-2.debian.tar.xz
00627fe188ccce0757c25e08df43d63f02e6809036cccdc621ef4654b2a26efd 12686
bitwuzla_0.8.2-2_amd64.buildinfo
Files:
c41b80a2193e1560b3f5f8810761bc3f 2518 science optional bitwuzla_0.8.2-2.dsc
ea0a95b19a621622987070a4d85862f7 4364 science optional
bitwuzla_0.8.2-2.debian.tar.xz
c7d400ab0685ec6fae5fc737376ab8d3 12686 science optional
bitwuzla_0.8.2-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmmltLoRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEEsA/+PYY3y+U2PePVDrK1JnZzP7VvqrGgna/9
WrDpgWmL5vEC1Iu7obMuWW5lqu/pgCXbE84gimv10RQP5fXjwKX9BcDk8tz+dUEm
hETYCPjInWKH7Mki79nfKcg11ec3smcZIugMiiVckR7WPRqv8OAe/4exzBOUw8lL
a0o8q4yw6J452MVIbDLB1AY8f3l9JdKnRi+vvC81ebf1+C1XQXo1pf9DW9ZFDEkQ
L4fl8DQBN5Pg9kh0twu2n7ZFkd9tUVvPZY9eVRVwzkjZ0fI9f8EmmQdcHre+w4OS
utbej2BQ0PlO+3t4LX73jcVhTbqAw0BgBN03ThjGCjSNJFey2Da6QmiM7mfreXvJ
+wwrCunjYU4gVrIMxKiXbI+6NJiisviFE4ZtOHFpq3ztWJg4VF181ws+pn9+3ccP
AjY92QtNysCabO3yCNeauE2+f2dpR6MtmHPYbzbNQiffEAJA0Y3CdI9/Zm7kMB/3
D7C33Ug2syNUOCBC2RbZpaRlKw6bsARHs1KGGy+pR//R+4KNZHXlYpydWr9v8ITd
faaPBHqwlJgG7fPGPbsG30AyFhjztagX8jQpJ9x/BJ7KL1JbRVnVE3wYQZdcVUDi
QTYPzSTSXdnPhLfrCJkYlMnUyMkO9hRfW5oPE8rQmV5krPyQKQ8PzqFyIXaA+ofw
ug8GGwJIfEY=
=Oyvi
-----END PGP SIGNATURE-----
pgpSzm8Wdq1Dn.pgp
Description: PGP signature
--- End Message ---
