Package: linux-binary-7.1-riscv64-di
Source: linux
Version: 7.1~rc7-1~exp1
Kernel-Version: 7.1-riscv64
Architecture: riscv64
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Installed-Size: 35750
Depends: linux-base-7.1-riscv64-di
Provides: kernel-image, kernel-image-7.1-riscv64-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.
