PN: linux-raspberrypi
PE: 1
PV: 6.12.25+git
PR: r0
PKGE: 1
PKGV: 6.12.25+git0+1f6ab68a1d_3dd2c2c507
PKGR: r0.14
LICENSE: GPL-2.0-only
DESCRIPTION: Linux Kernel for Raspberry Pi
SUMMARY: Linux kernel
RPROVIDES:kernel-base:  kernel-6.12.25-v8-16k kernel-base (=6.12.25+git0+1f6ab68a1d_3dd2c2c507)
RRECOMMENDS:kernel-base: kernel-image (= 1:6.12.25+git0+1f6ab68a1d_3dd2c2c507-r0.14)
SECTION: kernel
PKG:kernel-base: kernel-6.12.25-v8-16k
ALLOW_EMPTY:kernel-base: 1
FILES:kernel-base: /usr/lib/modules/6.12.25-v8-16k/modules.order /usr/lib/modules/6.12.25-v8-16k/modules.builtin /usr/lib/modules/6.12.25-v8-16k/modules.builtin.modinfo
FILES_INFO:kernel-base: {"/usr/lib/modules/6.12.25-v8-16k/modules.builtin": 18241, "/usr/lib/modules/6.12.25-v8-16k/modules.builtin.modinfo": 126231, "/usr/lib/modules/6.12.25-v8-16k/modules.order": 73279}
pkg_postinst:kernel-base: set -e\n\tif [ ! -e "$D/lib/modules/6.12.25-v8-16k" ]; then\n\t\tmkdir -p $D/lib/modules/6.12.25-v8-16k\n\tfi\n\tif [ -n "$D" ]; then\n\t\tdepmodwrapper -a -b $D 6.12.25-v8-16k kernel\n\telse\n\t\tdepmod -a 6.12.25-v8-16k\n\tfi\n
PKGSIZE:kernel-base: 217751
