aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/linux.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/linux.scm')
-rw-r--r--gnu/packages/linux.scm16
1 files changed, 0 insertions, 16 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index 9d359e3696..a4fbb02ba3 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -324,22 +324,6 @@ It has been modified to remove all non-free binary blobs.")
(license license:gpl2)
(home-page "http://www.gnu.org/software/linux-libre/"))))
-;; This older version of linux-libre is being added because it was found
-;; that newer versions (or at least 4.3.3) of linux-libre were not reading
-;; the hardware clock on (at least Libreboot-enabled) Thinkpad x200
-;; machines. See <http://bugs.gnu.org/22274>.
-
-(define-public linux-libre-4.2.5
- (package
- (inherit linux-libre)
- (version "4.2.5")
- (source (origin
- (method url-fetch)
- (uri (linux-libre-urls version))
- (sha256
- (base32
- "13ar9sghm2g5w2km9x2d07q3lh81rz286d6slklv56qanm24chzx"))))))
-
(define-public linux-libre-4.1
(package
(inherit linux-libre)