# Generated by makepkg 4.2.1
# using fakeroot version 1.20.2
# Thu Jan 14 01:29:24 UTC 2016
pkgname = raspberrypi-firmware-tools
pkgbase = raspberrypi-firmware
pkgver = 20160113-1
pkgdesc = Firmware tools and header files for Raspberry Pi
url = https://github.com/raspberrypi/firmware
builddate = 1452734964
packager = Arch Linux ARM Build System <builder+xu1@archlinuxarm.org>
size = 6840320
arch = any
license = custom
makedepend = git
makepkgopt = !strip
makepkgopt = docs
makepkgopt = !libtool
makepkgopt = !staticlibs
makepkgopt = emptydirs
makepkgopt = zipman
makepkgopt = purge
makepkgopt = !upx
makepkgopt = !debug
