Package: linux-binary-6.19.10+deb13-arm64-di
Source: linux-signed-arm64 (6.19.10+1~bpo13+1)
Version: 6.19.10-1~bpo13+1
Kernel-Version: 6.19.10+deb13-arm64
Architecture: arm64
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Installed-Size: 43411
Depends: linux-base-6.19.10+deb13-arm64-di
Provides: kernel-image, kernel-image-6.19.10+deb13-arm64-di
Section: debian-installer
Priority: standard
Description: Linux kernel image for the Debian installer
 This package contains the kernel image and core modules for the Debian
 installer boot images.  It does _not_ provide a usable kernel for your
 full Debian system.
