# Only build-Depends on debhelper (>= 8.1.3~) is needed, so ignore this.
wmbutton source: package-needs-versioned-debhelper-build-depends 9
