Package: kernel-image-3.16.0-11-armmp-di
Source: linux
Version: 3.16.84-1
Kernel-Version: 3.16.0-11-armmp
Architecture: armhf
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Installed-Size: 11269
Provides: kernel-image
Section: debian-installer
Priority: extra
Description: Linux kernel binary image for the Debian installer
 This package contains the kernel image for the Debian installer boot
 images.  It does _not_ provide a usable kernel for your full Debian
 system.
