pkgbase = linux-selinux
	pkgver = 5.3.8.1
	pkgrel = 1
	url = https://git.archlinux.org/linux.git/log/?h=v5.3.8-arch1
	arch = x86_64
	groups = selinux
	license = GPL2
	makedepends = xmlto
	makedepends = kmod
	makedepends = inetutils
	makedepends = bc
	makedepends = libelf
	makedepends = python-sphinx
	makedepends = python-sphinx_rtd_theme
	makedepends = graphviz
	makedepends = imagemagick
	makedepends = git
	options = !strip
	source = archlinux-linux::git+https://git.archlinux.org/linux.git?signed#tag=v5.3.8-arch1
	source = config
	validpgpkeys = ABAF11C65A2970B130ABE3C479BE3E4300411886
	validpgpkeys = 647F28654894E3BD457199BE38DBBDC86092693E
	validpgpkeys = 8218F88849AAC522E94CF470A5E9288C4FA415FA
	sha256sums = SKIP
	sha256sums = e6d2df92f3079c740ca2cafd7e8b34b5dd43832d292284c2dc133d47600d1f29

pkgname = linux-selinux
	pkgdesc = The Linux-selinux kernel and modules
	depends = coreutils
	depends = kmod
	depends = initramfs
	optdepends = crda: to set the correct wireless channels of your country
	optdepends = linux-firmware: firmware images needed for some devices

pkgname = linux-selinux-headers
	pkgdesc = Header files and scripts for building modules for Linux-selinux kernel

pkgname = linux-selinux-docs
	pkgdesc = Kernel hackers manual - HTML documentation that comes with the Linux-selinux kernel