PN: linux-dummy
PV: 1.0
PR: r0
PKGV: 1.0
PKGR: r0
LICENSE: GPL-2.0-only
DESCRIPTION: Dummy Linux kernel, to be selected as the preferred provider for virtual/kernel to satisfy dependencies for situations where you wish to build the kernel externally from the build system.
SUMMARY: Dummy Linux kernel
SECTION: kernel
PKG:linux-dummy: linux-dummy
FILES:linux-dummy: /usr/bin/* /usr/sbin/* /usr/libexec/* /usr/lib/lib*.so.*             /etc /com /var             /usr/bin/* /usr/sbin/*             /usr/lib/*.so.*             /lib/udev /usr/lib/udev             /usr/lib/udev /usr/lib/udev             /usr/share/linux-dummy /usr/lib/linux-dummy/*             /usr/share/pixmaps /usr/share/applications             /usr/share/idl /usr/share/omf /usr/share/sounds             /usr/lib/bonobo/servers
FILES_INFO:linux-dummy: {}
PKGSIZE:linux-dummy: 0
