Zheng Junjie 93d9cd7c22 gnu: linux-libre-headers: Update to 6.12.17. ...

* gnu/packages/linux.scm (linux-libre-headers-5.15.49):
Update to 6.12.17 and rename to linux-libre-headers-6.12.17.
(linux-libre-headers-5.19.17): Remove it.
* gnu/packages/cross-base.scm (cross-kernel-headers/deprecated): Remove
loongarch64 case.
(cross-kernel-headers*): Remove loongarch64 case.
* gnu/packages/make-bootstrap.scm (%glibc-stripped): Remove loongarch64 case.
* gnu/packages/commencement.scm (linux-libre-headers-boot0)[arguments]: Adjust
lower-version-requirements phase.

Change-Id: I56a5f6173379f0c4ec305e7db86cccd940e62304

2025-07-18 20:17:30 +02:00

37 KiB

Raw Blame History

View Raw