# Generated by makepkg 4.2.1
# using fakeroot version 1.20.2
# Mon Nov 30 05:02:34 UTC 2015
pkgname = raspberrypi-firmware-tools
pkgbase = raspberrypi-firmware
pkgver = 20151129-1
pkgdesc = Firmware tools and header files for Raspberry Pi
url = https://github.com/raspberrypi/firmware
builddate = 1448859754
packager = Arch Linux ARM Build System <builder+xu4@archlinuxarm.org>
size = 6839296
arch = any
license = custom
makedepend = git
makepkgopt = !strip
makepkgopt = docs
makepkgopt = !libtool
makepkgopt = !staticlibs
makepkgopt = emptydirs
makepkgopt = zipman
makepkgopt = purge
makepkgopt = !upx
makepkgopt = !debug
