On 2015-09-22, Gianfranco Costamagna <costamagnagianfranco@yahoo.it> wrote: > -Pre-Depends: dpkg (>= 1.15.6~) > +Pre-Depends: dpkg (>= 1.15.6~), virtualbox-dkms (= ${source:Version}) | virtualbox-source (= ${source:Version}) I don't see what it would fix to have virtualbox-source installed at any point help in anything. And note that one can run kernels that doesn't do dkms. /Sune