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