Package: linux-binary-7.1-powerpc64le-di
Source: linux
Version: 7.1.1-1~exp1
Kernel-Version: 7.1-powerpc64le
Architecture: ppc64el
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Installed-Size: 48805
Depends: linux-base-7.1-powerpc64le-di
Provides: kernel-image, kernel-image-7.1-powerpc64le-di
Section: debian-installer
Priority: standard
Description: Linux for the Debian installer (kernel image)
 This package contains the kernel image for the Debian installer boot
 images.  It does _not_ provide a usable kernel for your full Debian
 system.
