[Pkg-virtualbox-devel] Bug#875941: closed by Gianfranco Costamagna <locutusofborg at debian.org> (Re: virtualbox-guest-dkms module build fails)

[Clayton]

On Sat, 16 Sep 2017 10:33:04 +0000
owner at bugs.debian.org (Debian Bug Tracking System) wrote:

> new kernel and old vbox don't match. Use vbox from unstable or
> testing.

But that kernel came from neither testing nor unstable:

$ apt-cache policy linux-image-4.9.0-3-amd64
linux-image-4.9.0-3-amd64:
  Installed: 4.9.30-2+deb9u3
  Candidate: 4.9.30-2+deb9u3
  Version table:
 *** 4.9.30-2+deb9u3 500
        500 http://security.debian.org stretch/updates/main amd64
Packages 100 /var/lib/dpkg/status
     4.9.30-2+deb9u2 500
        500 http://http.debian.net/debian stretch/main amd64 Packages

Surely stable should have mutually compatible versions of kernel and at
least virtualbox guest tools?

Clayton