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