[Pkg-virtualbox-devel] Bug#826303: closed by Gianfranco Costamagna <locutusofborg at debian.org> (Re: Bug#826303: virtualbox-dkms: Installation unsuccesfull)

[Janusz S. Bien]

Quote/Cytat - Gianfranco Costamagna <locutusofborg at debian.org> (Sun 05  
Jun 2016 12:51:51 AM CEST):


>> dpkg -l linux-headers-4.1.0-1-amd64
>> dpkg-query: no packages found matching linux-headers-4.1.0-1-amd64
>>
>> How to report officially this problem?
>
>
> what about
> sudo apt-get install linux-headers-4.1.0-1-amd64?

This is just after apt-get update and, just to be sure, apt-get dist-update:

Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package linux-headers-4.1.0-1-amd64
E: Couldn't find any package by glob 'linux-headers-4.1.0-1-amd64'
E: Couldn't find any package by regex 'linux-headers-4.1.0-1-amd64'

Best regards

Janusz

-- 
Prof. dr hab. Janusz S. Bień -  Uniwersytet Warszawski (Katedra  
Lingwistyki Formalnej)
Prof. Janusz S. Bień - University of Warsaw (Formal Linguistics Department)
jsbien at uw.edu.pl, jsbien at mimuw.edu.pl, http://fleksem.klf.uw.edu.pl/~jsbien/