pkgbase = libreboot
	pkgdesc = A free BIOS/UEFI replacement for your computer
	pkgver = 20160907
	pkgrel = 1
	url = http://libreboot.org
	arch = x86_64
	arch = i686
	arch = armv7l
	license = GPL
	provides = libreboot
	source = http://www.mirrorservice.org/sites/libreboot.org/release/stable/20160907/libreboot_r20160907_util.tar.xz
	sha256sums = 4185e6244fc3a37859be91eb60bfbeb7bdb527c7d00cfb2a60008fab2cbf9611

pkgname = libreboot