Bug#1129345: bitwuzla: please drop the extraneous "quilt" build dependency

[Alexandre Detiste]

Source: bitwuzla
Version: 0.8.2-1
Severity: normal
X-Debbugs-Cc: tille at debian.org

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