http://bugs.debian.org/cgi-bin/pkgreport.cgi?which=pkg&data=nvidia-kernel-source&archive=no Ciao Marco