Merge #194541: linux: 5.19.12 -> 5.19.14

This commit is contained in:
Vladimír Čunát 2022-10-05 18:29:29 +02:00
commit 37bd39839a
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -3,7 +3,7 @@
with lib;
buildLinux (args // rec {
version = "5.19.12";
version = "5.19.14";
# modDirVersion needs to be x.y.z, will automatically add .0 if needed
modDirVersion = if (modDirVersionArg == null) then concatStringsSep "." (take 3 (splitVersion "${version}.0")) else modDirVersionArg;
@ -13,6 +13,6 @@ buildLinux (args // rec {
src = fetchurl {
url = "mirror://kernel/linux/kernel/v5.x/linux-${version}.tar.xz";
sha256 = "1fmhwbgqpr6q3z3ygys153szivlmv3mcnwilbbyfcb1iqx4aadn4";
sha256 = "1h8srn3fw4vw61qi0xxlk9fq0fqq4wl7fbrzz7sivdd8qkhjgv8x";
};
} // (args.argsOverride or { }))