diff options
author | Kyle De'Vir | 2019-06-23 07:09:47 +1000 |
---|---|---|
committer | Kyle De'Vir | 2019-06-23 07:09:47 +1000 |
commit | 95b25f09cb3b4fbffeb5f7bf0421d334ef25ed74 (patch) | |
tree | 94d6f27e00436ee0796019485d2ed384aa29ab65 | |
parent | 503c2b561e74b366c170effdb0358ddd05efd32c (diff) | |
download | aur-95b25f09cb3b4fbffeb5f7bf0421d334ef25ed74.tar.gz |
5.1.14
-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.12.arch1 + pkgver = 5.1.14.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.12-arch1 + source = git+https://git.archlinux.org/linux?signed#tag=v5.1.14-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.12.arch1 - provides = linux-headers=5.1.12.arch1 + provides = linux-pds-headers=5.1.14.arch1 + provides = linux-headers=5.1.14.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.12.arch1 - provides = linux-docs=5.1.12.arch1 + provides = linux-pds-docs=5.1.14.arch1 + provides = linux-docs=5.1.14.arch1 @@ -65,7 +65,7 @@ _subarch= _localmodcfg= pkgbase=linux-pds -_srcver_tag=5.1.12-arch1 +_srcver_tag=5.1.14-arch1 pkgver="${_srcver_tag//-/.}" pkgrel=1 arch=(x86_64) |