Comment 7 for bug 487535

Revision history for this message
Felix Geyer (debfx) wrote :

The problem is that you have no idea which kernel the user is running.
You can depend on linux-headers-generic | linux-headers but this won't help if he is running -server, -generic-pae, .. kernel.