diff options
| author | Marius Bakke <marius@gnu.org> | 2021-05-08 18:41:30 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2021-05-09 23:43:31 +0200 |
| commit | 70838cf991d2232462041814d4935b9b05352a02 (patch) | |
| tree | 88c32f18c188f9ec84ddf0f152dcf47d844b4557 /gnu/packages | |
| parent | 3f17ee680e433300322e687dd9c0d6e1a3700727 (diff) | |
| download | guix-70838cf991d2232462041814d4935b9b05352a02.tar.gz | |
gnu: linux-libre-headers: Update to 5.10.35.
* gnu/packages/linux.scm (linux-libre-headers-5.4.20): Rename to ... (linux-libre-headers-5.10.35): ... this. Update to 5.10.35. (linux-libre-headers): Adjust accordingly.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/linux.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 2ccb6fc137..91de665a57 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -646,11 +646,11 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS." ;; The following package is used in the early bootstrap, and thus must be kept ;; stable and with minimal build requirements. -(define-public linux-libre-headers-5.4.20 - (make-linux-libre-headers "5.4.20" - "1qxhf6dmcwjblzx8fgn6vr10p38xw10iwh6d1y1v1mxb25y30b47")) +(define-public linux-libre-headers-5.10.35 + (make-linux-libre-headers "5.10.35" + "0q2rnchad55d49f3rajrkazz0fcjv1irwrdb1hwjnl01fzm2gjk3")) -(define-public linux-libre-headers linux-libre-headers-5.4.20) +(define-public linux-libre-headers linux-libre-headers-5.10.35) ;;; |