Bug#856355: nvidia-driver: no longer works

[Vincent Lefevre]

On 2017-02-28 13:44:46 +0000, Luca Boccassi wrote:
> The kernel headers packages have the name versioned after the ABI
> version. DKMS understanding is that as long as the package name (and
> thus the ABI version) does not change, then there is no need to rebuild
> as the ABI is (assumed to be) compatible. When the headers packages
> change name, then DKMS automatically rebuilds.
> 
> If the ABI change is not compatible but the package name does not
> change, DKMS has no way to figure out that it needs to rebuild.

Then, isn't this a kernel bug? I mean, the ABI has changed, so that
the number should have changed to 4.9.0-3 instead of remaining at
4.9.0-2.

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)