PN: linux-raspberrypi
PE: 1
PV: 6.12.25+git
PR: r0
PKGE: 1
PKGV: 6.12.25+git0+1f6ab68a1d_3dd2c2c507
PKGR: r0.7
LICENSE: GPL-2.0-only
DESCRIPTION: Linux Kernel for Raspberry Pi
SUMMARY: Linux kernel
SECTION: kernel
PKG:kernel-vmlinux: kernel-vmlinux
FILES:kernel-vmlinux: /boot/vmlinux-6.12.25-v8-16k
FILES_INFO:kernel-vmlinux: {"/boot/vmlinux-6.12.25-v8-16k": 30506168}
PKGSIZE:kernel-vmlinux: 30506168
