Package: kernel-image-4.1.15-25-boundary-12s-di
Source: linux-boundary-12s
Version: 4.1.15-25.25
Kernel-Version: 4.1.15-25-boundary-12s
Architecture: armhf
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Installed-Size: 16275
Provides: kernel-image
Priority: extra
Section: debian-installer
Filename: pool/main/l/linux-boundary-12s/kernel-image-4.1.15-25-boundary-12s-di_4.1.15-25.25_armhf.udeb
Size: 5963648
SHA256: 71fc2f12c1dcd0f9bf4e69e8583ce85a10676792b12a5b5d852ecf88abcfd1b9
SHA1: d06b6758ec6c2167302bc3f94f30c5232903c711
MD5sum: 40fb7ffe8786ea2b5a4b06f375f9c2ee
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.