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