diff options
| author | Marius Bakke <marius@gnu.org> | 2022-06-25 20:59:01 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-06-26 12:06:27 +0200 |
| commit | 97fb977eb8d570f05adc5740af5e12fb740cc91c (patch) | |
| tree | 1521786b54908e0926254275a2557c794e4c8583 /gnu/local.mk | |
| parent | e15e7b226cabaeac171e20f2a45249cce4c2c12b (diff) | |
gnu: linux-libre-headers: Update to 5.15.49.
* gnu/packages/linux.scm (linux-libre-headers-5.10.35): Replace with ...
(linux-libre-headers-5.15.49): This new variable.
(linux-libre-headers): Adjust accordingly.
* gnu/packages/commencement.scm (linux-libre-headers-boot0)[arguments]: Add
phase to lower toolchain requirements.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions