PN: linux-raspberrypi
PE: 1
PV: 6.12.25+git
PR: r0
PKGE: 1
PKGV: 6.12.25+git0+1f6ab68a1d_3dd2c2c507
PKGR: r0.0
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": 14825288}
PKGSIZE:kernel-dbg: 14825288
