diff options
author | Kyle De'Vir | 2019-06-21 02:44:24 +1000 |
---|---|---|
committer | Kyle De'Vir | 2019-06-21 02:44:24 +1000 |
commit | 503c2b561e74b366c170effdb0358ddd05efd32c (patch) | |
tree | 0027b42105b5201a70061e25709d6974f68bba85 | |
parent | e43b8949f2323826b497dc07928f6cd8c1b856de (diff) | |
download | aur-503c2b561e74b366c170effdb0358ddd05efd32c.tar.gz |
5.1.12
-rw-r--r-- | .SRCINFO | 12 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 7 insertions, 7 deletions
@@ -1,5 +1,5 @@ pkgbase = linux-pds - pkgver = 5.1.11.arch1 + pkgver = 5.1.12.arch1 pkgrel = 1 url = https://git.archlinux.org/linux.git/log/?h=v arch = x86_64 @@ -11,7 +11,7 @@ pkgbase = linux-pds makedepends = libelf makedepends = git options = !strip - source = git+https://git.archlinux.org/linux?signed#tag=v5.1.11-arch1 + source = git+https://git.archlinux.org/linux?signed#tag=v5.1.12-arch1 source = git+https://github.com/graysky2/kernel_gcc_patch source = config source = 60-linux.hook @@ -44,11 +44,11 @@ pkgname = linux-pds pkgname = linux-pds-headers pkgdesc = Header files and scripts for building modules for Linux-pds kernel ~ featuring Alfred Chen's PDS CPU scheduler, rebased by TkG - provides = linux-pds-headers=5.1.11.arch1 - provides = linux-headers=5.1.11.arch1 + provides = linux-pds-headers=5.1.12.arch1 + provides = linux-headers=5.1.12.arch1 pkgname = linux-pds-docs pkgdesc = Kernel hackers manual - HTML documentation that comes with the Linux-pds kernel ~ featuring Alfred Chen's PDS CPU scheduler, rebased by TkG - provides = linux-pds-docs=5.1.11.arch1 - provides = linux-docs=5.1.11.arch1 + provides = linux-pds-docs=5.1.12.arch1 + provides = linux-docs=5.1.12.arch1 @@ -65,7 +65,7 @@ _subarch= _localmodcfg= pkgbase=linux-pds -_srcver_tag=5.1.11-arch1 +_srcver_tag=5.1.12-arch1 pkgver="${_srcver_tag//-/.}" pkgrel=1 arch=(x86_64) |