PN: linux-dummy
PV: 1.0
PR: r0
PKGV: 1.0
PKGR: r0
LICENSE: GPL-2.0-only
DESCRIPTION:linux-dummy-doc: 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.  This package contains documentation.
SUMMARY:linux-dummy-doc: Dummy Linux kernel - Documentation files
SECTION:linux-dummy-doc: doc
PKG:linux-dummy-doc: linux-dummy-doc
FILES:linux-dummy-doc: /usr/share/doc /usr/share/man /usr/share/info /usr/share/gtk-doc             /usr/share/gnome/help
FILES_INFO:linux-dummy-doc: {}
PKGSIZE:linux-dummy-doc: 0
