# linux-signed-* source packages are generated by the linux source
# package, so it is OK for their binaries to share documentation
linux-binary-6.19.8+deb14-amd64: usr-share-doc-symlink-to-foreign-package linux-base-6.19.8+deb14-amd64