linux5.1: update to 5.1.3.

This commit is contained in:
Helmut Pozimski 2019-05-17 07:37:56 +02:00
parent 8a568f13bb
commit c54e2096bc

View file

@ -1,6 +1,6 @@
# Template file for 'linux5.1'
pkgname=linux5.1
version=5.1.2
version=5.1.3
revision=1
wrksrc="linux-${version}"
short_desc="Linux kernel and modules (${version%.*} series)"
@ -8,7 +8,7 @@ maintainer="Helmut Pozimski <helmut@pozimski.eu>"
license="GPL-2.0-only"
homepage="https://www.kernel.org"
distfiles="https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-${version}.tar.xz"
checksum=ec7ad67a423698855200b46e1c7ee325d68a8fe4706c66fe456780a8c99bef5b
checksum=b0f53e12daf8e710992151333edeb7d7da3d935a6aa3db8360681f7d05a6aaa2
patch_args="-Np1"
nodebug=yes # -dbg package is generated below manually