Package: oss4-dev Version: 4.2-build2020-3 Severity: serious Justification: Policy 3.9 X-Debbugs-Cc: noisyc...@tutanota.com
Dear Maintainer, While discussing the new 'missing-breaks' Salsa CI job [1], one of the kernel maintainers stated that oss4-dev's soundcard.h must not be installed under /usr/include/linux [2,3]: > Open an serious bug report against oss4-dev. No need to wait, it needs > to go. and > linux-libc-dev defines the interface the kernel provides. Random > packages overriding that makes for nasty surprises. > > So there are multiple solutions: > - Rename the header and move out of the linux dir. > - Move the header outside of /usr/include and explicitely use this > directory in the include path. I'm filing this bug report in view of Sec. 3.9 of the Debian Policy Manual, for the part where it expresses that the opinion of the maintainer of the package whose file is being diverted should be taken into account: > You should not use dpkg-divert on a file belonging to another package > without consulting the maintainer of that package first. Cheers! [1] https://lists.debian.org/debian-kernel/2025/03/msg00195.html [2] https://lists.debian.org/debian-kernel/2025/03/msg00199.html [3] https://lists.debian.org/debian-kernel/2025/03/msg00200.html
