GNU bug report logs - #72537
[PATCH 0/5] gnu: Remove linux-libre 6.9.

Previous Next

Full log

Message #50 received at 72537 <at> debbugs.gnu.org (full text, mbox):

From: Wilko Meyer <w <at> wmeyer.eu>
To: 72537 <at> debbugs.gnu.org
Cc: Wilko Meyer <w <at> wmeyer.eu>, leo <at> famulari.name
Subject: [PATCH v3 4/5] gnu: Add linux-libre-headers-latest.
Date: Wed, 14 Aug 2024 22:30:29 +0200

* gnu/packages/linux.scm (linux-libre-headers-latest): New variable.

Change-Id: I9bead707a9302080a5fe8b48c6367ffa27665d52
---
 gnu/packages/linux.scm | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index ba56489dbf..bad444625f 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -812,6 +812,10 @@ (define-public linux-libre-headers-5.15.49
                             "13zqdcm4664vh7g57sxbfrlpsxm7zrma72mxdfdz7d9yndy2gfv8"))
 
 (define-public linux-libre-headers linux-libre-headers-5.15.49)
+;; linux-libre-headers-latest points to the latest headers package
+;; and should be used as a dependency for packages that depend on
+;; the headers.
+(define-public linux-libre-headers-latest linux-libre-headers-6.10)
 
 
 ;;;
-- 
2.45.2

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.