# Generated by makepkg 5.1.0
# using fakeroot version 1.23
pkgname = uboot-raspberrypi
pkgbase = uboot-raspberrypi
pkgver = 2018.07-1
pkgdesc = U-Boot for Raspberry Pi
url = http://www.denx.de/wiki/U-Boot/WebHome
builddate = 1531956477
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
size = 468992
arch = aarch64
license = GPL
backup = boot/boot.txt
backup = boot/boot.scr
backup = boot/config.txt
makedepend = bc
makedepend = dtc
makedepend = git
