# Generated by makepkg 5.0.2
# using fakeroot version 1.22
# Mon Nov 13 03:04:01 UTC 2017
pkgname = uboot-raspberrypi
pkgver = 2017.09-1
pkgdesc = U-Boot for Raspberry Pi
url = http://www.denx.de/wiki/U-Boot/WebHome
builddate = 1510542241
packager = Arch Linux ARM Build System <builder+odroid-c2@archlinuxarm.org>
size = 403456
arch = aarch64
license = GPL
backup = boot/boot.txt
backup = boot/boot.scr
backup = boot/config.txt
makedepend = bc
makedepend = dtc
makedepend = git
