diff options
Diffstat (limited to 'libre')
| -rw-r--r-- | libre/linux-libre-api-headers/PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libre/linux-libre-api-headers/PKGBUILD b/libre/linux-libre-api-headers/PKGBUILD index 569568cb1..b7f394162 100644 --- a/libre/linux-libre-api-headers/PKGBUILD +++ b/libre/linux-libre-api-headers/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 173859 2012-12-26 01:09:36Z allan $ +# $Id: PKGBUILD 175812 2013-01-22 00:01:30Z allan $ # Maintainer: Allan McRae <allan@archlinux.org> # Maintainer (Parabola): André Silva <emulatorman@lavabit.com> @@ -6,7 +6,7 @@ pkgname=linux-libre-api-headers _basekernel=3.7 -_sublevel=1 +_sublevel=4 pkgver=${_basekernel}.${_sublevel} pkgrel=1 pkgdesc="Kernel headers sanitized for use in userspace" @@ -19,7 +19,7 @@ replaces=('linux-api-headers') source=("http://linux-libre.fsfla.org/pub/linux-libre/releases/${_basekernel}-gnu/linux-libre-${_basekernel}-gnu.tar.xz" "http://linux-libre.fsfla.org/pub/linux-libre/releases/${pkgver}-gnu/patch-${_basekernel}-gnu-${pkgver}-gnu.xz") md5sums=('06bf9601d859531e7378eb43d4ca7dd3' - '6f4bb80d3d91b69daf5ccfea836d02df') + '0ce6896b7069cb5aaf444318d8db3885') build() { cd ${srcdir}/linux-${_basekernel} |