Bug#846513: linux-libc-dev possibly needs dependency on corresponding linux-image
Package: linux-libc-dev
Version: 4.7.6-1
Severity: normal
Dear Maintainer,
===================================================================================
I'm running linux-image-4.7.0-1-686-pae which is pinned to version 4.7.6-1 (see below).
However, linux-libc-dev can be upgraded to version 4.8.7-1 without also upgrading
the linux image, as linux-libc-dev does not depend on it.
It would seem this could cause inconsistencies with binaries built on the 4.7.6-1 image
but using the headers for 4.8.7-1.
Should linux-libc-dev depend on the linux image it corresponds to?
=> apt-cache policy | sort | grep linux
...
linux-headers-4.7.0-1-686-pae -> 4.7.6-1 with priority 1001
linux-headers-4.7.0-1-common -> 4.7.6-1 with priority 1001
linux-headers-686-pae -> 4.7+75 with priority 1001
...
linux-image-4.7.0-1-686-pae -> 4.7.6-1 with priority 1001
linux-image-686-pae -> 4.7+75 with priority 1001
linux-kbuild-4.7 -> 4.7.6-1 with priority 1001
linux-libc-dev -> 4.7.6-1 with priority 1001
=> apt-cache policy linux-libc-dev
linux-libc-dev:
Installed: 4.7.6-1
Candidate: 4.7.6-1
Version table:
4.8.7-1 500
500 http://debian.lcs.mit.edu/debian testing/main i386 Packages
*** 4.7.6-1 1001
500 http://snapshot.debian.org/archive/debian/20161017 testing/main i386 Packages
500 copy:/usr3/Installs/DEB ./ Packages
100 /var/lib/dpkg/status
4.7.5-1 500
500 http://snapshot.debian.org/archive/debian/20161005 testing/main i386 Packages
===================================================================================
-- System Information:
Debian Release: stretch/sid
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 4.7.0-1-686-pae (SMP w/6 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: sysvinit (via /sbin/init)
-- no debconf information
Reply to: