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-dbg: kernel-dbg
FILES:kernel-dbg: /usr/lib/debug /usr/src/debug
FILES_INFO:kernel-dbg: {"/boot/.debug/vmlinux-6.12.25-v8-16k": 14928576}
PKGSIZE:kernel-dbg: 14928576
