# Generated by makepkg 4.2.1
# using fakeroot version 1.20.2
# Sat Nov 14 03:15:29 UTC 2015
pkgname = linux-raspberrypi
pkgbase = linux-raspberrypi
pkgver = 4.1.13-1
pkgdesc = The Linux Kernel and modules - Raspberry Pi
url = http://www.kernel.org/
builddate = 1447470929
packager = Arch Linux ARM Build System <builder+xu6@archlinuxarm.org>
size = 27773952
arch = armv7h
license = GPL2
replaces = linux-raspberrypi-latest
conflict = kernel26
conflict = linux
provides = kernel26
provides = linux=4.1.13
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
makepkgopt = !strip
makepkgopt = docs
makepkgopt = !libtool
makepkgopt = !staticlibs
makepkgopt = emptydirs
makepkgopt = zipman
makepkgopt = purge
makepkgopt = !upx
makepkgopt = !debug
