# Generated by makepkg 5.0.1
# using fakeroot version 1.20.2
# Thu Mar 10 01:27:43 UTC 2016
pkgname = linux-raspberrypi
pkgbase = linux-raspberrypi
pkgver = 4.1.19-4
pkgdesc = The Linux Kernel and modules - Raspberry Pi
url = http://www.kernel.org/
builddate = 1457573263
packager = Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>
size = 26853376
arch = armv6h
license = GPL2
replaces = linux-raspberrypi-latest
conflict = kernel26
conflict = linux
provides = kernel26
provides = linux=4.1.19
provides = aufs_friendly
backup = boot/config.txt
backup = boot/cmdline.txt
depend = coreutils
depend = linux-firmware
depend = module-init-tools>=3.16
optdepend = crda: to set the correct wireless channels of your country
makedepend = xmlto
makedepend = docbook-xsl
makedepend = kmod
makedepend = inetutils
makedepend = bc
makedepend = git
