PN: linux-raspberrypi
PE: 1
PV: 6.1.77+gitAUTOINC+43d1723dbe_77fc1fbcb5
PR: r0
PKGE: 1
PKGV: 6.1.77+git0+43d1723dbe_77fc1fbcb5
PKGR: r0.20
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.1.77-v8-16k": 25632032}
PKGSIZE:kernel-dbg: 25632032
