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

Janusz S. Bien jsbien at mimuw.edu.pl
Sun Jun 5 05:26:22 UTC 2016

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


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/

More information about the Pkg-virtualbox-devel mailing list