# Generated by makepkg 5.1.1
# using fakeroot version 1.23
pkgname = raspberrypi-firmware
pkgbase = raspberrypi-firmware
pkgver = 20180824-1
pkgdesc = Firmware tools, libraries, and headers for Raspberry Pi
url = https://github.com/raspberrypi/firmware
builddate = 1535234270
packager = Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>
size = 8244224
arch = any
license = custom
replaces = raspberrypi-firmware-tools
provides = raspberrypi-firmware-tools
