Package: oss4-dev
Version: 4.2-build2020-3
Severity: serious
Justification: Policy 3.9
X-Debbugs-Cc:
noisycoil@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
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)