# Generated by makepkg 4.2.1
# using fakeroot version 1.20.2
# Wed Dec 16 01:03:17 UTC 2015
pkgname = raspberrypi-firmware-tools
pkgbase = raspberrypi-firmware
pkgver = 20151215-1
pkgdesc = Firmware tools and header files for Raspberry Pi
url = https://github.com/raspberrypi/firmware
builddate = 1450227797
packager = Arch Linux ARM Build System <builder+xu5@archlinuxarm.org>
size = 6841344
arch = any
license = custom
makedepend = git
makepkgopt = !strip
makepkgopt = docs
makepkgopt = !libtool
makepkgopt = !staticlibs
makepkgopt = emptydirs
makepkgopt = zipman
makepkgopt = purge
makepkgopt = !upx
makepkgopt = !debug
