# 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 = 1531956665
packager = Arch Linux ARM Build System <builder+xu9@archlinuxarm.org>
size = 428032
arch = armv7h
license = GPL
conflict = linux-raspberrypi
backup = boot/boot.txt
backup = boot/boot.scr
backup = boot/config.txt
makedepend = bc
makedepend = dtc
makedepend = git
