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