# Generated by makepkg 4.2.1
# using fakeroot version 1.20.2
# Wed Jan 20 00:50:05 UTC 2016
pkgname = raspberrypi-firmware-tools
pkgbase = raspberrypi-firmware
pkgver = 20160119-1
pkgdesc = Firmware tools and header files for Raspberry Pi
url = https://github.com/raspberrypi/firmware
builddate = 1453251005
packager = Arch Linux ARM Build System <builder+xu7@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
