On 27/02/2018 12:59, Graham Inggs wrote: > I think all that is needed is to drop debian/nvidia-opencl-dev.links.in > and debian/nvidia-opencl-dev.lintian-overrides. Shall I make this > change in git? Upgrading with this change in place was successful, so pushed to git.