linux-headers-*-rpi[2] should provide linux-headers

[Diederik]

If you want to install the dkms package, you get the following:

=========================================================
# aptitude install dkms
The following NEW packages will be installed:
  cpp-4.6{a} dkms firmware-linux-free{a} gcc-4.6{a} gcc-4.6-base{a} linux-headers-3.6-trunk-common{a} linux-headers-3.6-trunk-rpi{a}
  linux-image-3.6-trunk-rpi{a} linux-kbuild-3.6{a}
0 packages upgraded, 9 newly installed, 0 to remove and 0 not upgraded.
Need to get 23,5 MB of archives. After unpacking 87,7 MB will be used.
Do you want to continue? [Y/n/?] n
Abort.
=========================================================

And that's because dkms recommends the following packages:
fakeroot, menu | sudo, linux-headers-686-pae | linux-headers-amd64 | linux-headers-generic | linux-headers, linux-image

linux-headers-3.6-trunk-rpi provides 'linux-headers' and therefor fulfills the recommends, but linux-headers-3.18.0-trunk-rpi[2] does not and therefor doesn't see it as fulfilled even though it is installed.

While you're at it, you may also add the Provides to linux-headers-3.12-1-rpi and linux-headers-3.16.0-4-rpi.
(linux-headers-3.10-3-rpi does already Provide linux-headers)

[Diederik (didi-debian)]

Updated the bug title as it also applies to the 4.4 kernel.
And it would also be great if the linux-image-* packages would also provide linux-image, so that dkms really only installs packages that are needed.

[Diederik (didi-debian)]

Adding a Provides to the 4.9 kernel headers package would be great too.