I have 10 Raspberry Pi's with Debian Stretch and Jessie - the Raspbian variant. I updated a "sacrificial" Pi and rebooted without error.. this time!
Package: linux-libc-dev
Version: 4.9.82-1+deb9u3+rpi1
Priority: optional
Section: devel
Source: linux-4.9
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Installed-Size: 4,466 kB
Provides: linux-kernel-headers
Homepage: https://www.kernel.org/
Download-Size: 1,300 kB
APT-Manual-Installed: no
APT-Sources: http://raspbian.raspberrypi.org/raspbian stretch/main
armhf Packages Description: Linux support headers for userspace
development This package provides userspaces headers from the Linux
kernel. These headers are used by the installed headers for GNU libc
and other system libraries.
edit: formatting
