Subject: Re: [PATCH v3] WIP: Add linux-libre 5.12.1.

From: Leo Famulari <[email-masked]>
Date: Sat, 8 May 2021 19:07:39 -0400

On Tue, May 04, 2021 at 12:24:20PM -0400, Leo Famulari wrote:
> From 8d28396b575787111e827b4efdf6410c31e76a3d Mon Sep 17 00:00:00 2001
> From: Leo Famulari <[email-masked]>
> Date: Mon, 26 Apr 2021 18:55:06 -0400
> Subject: [PATCH v3] WIP: Add linux-libre 5.12.1.
> 
> * gnu/packages/linux.scm (linux-libre-5.12-version, deblob-scripts-5.12,
> linux-libre-5.12-pristine-source, linux-libre-5.12-source,
> linux-libre-headers-5.12, linux-libre-5.12): New variables.
> * gnu/packages/aux-files/linux-libre/5.12-arm.conf,
> gnu/packages/aux-files/linux-libre/5.12-arm64.conf,
> gnu/packages/aux-files/linux-libre/5.12-i686.conf,
> gnu/packages/aux-files/linux-libre/5.12-x86_64.conf: New files.
> * Makefile.am (AUX_FILES): Add them.

Pushed as 7acd3d3cae93ef1d4f506927fbaa79677c63d90f

Note that this only adds linux-libre 5.12, but it doesn't make it the
"default" linux-libre package yet. I'll do that soon, when 5.11 stops
being supported upstream.