# Generated by makepkg 4.2.1
# using fakeroot version 1.20.2
# Sat Nov 14 03:16:00 UTC 2015
pkgname = linux-raspberrypi-headers
pkgbase = linux-raspberrypi
pkgver = 4.1.13-1
pkgdesc = Header files and scripts for building modules for linux kernel - Raspberry Pi
url = http://www.kernel.org/
builddate = 1447470959
packager = Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>
size = 42658816
arch = armv6h
license = GPL2
replaces = linux-raspberrypi-latest-headers
conflict = linux-headers
provides = linux-headers=4.1.13
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
