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