summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2016-02-01 17:56:34 -0500
committerMark H Weaver <mhw@netris.org>2016-02-03 14:26:57 -0500
commitd120b1d433fc2094c56f2c2ecafc4150c2c06348 (patch)
tree363aa1444541b291fb085382aa5967be249a984a /gnu
parent11b953a1b1c723b8425d103f18c3ba2ae8bf221f (diff)
gnu: Remove linux-libre-4.2.5.
This series is no longer supported upstream. * gnu/packages/linux.scm (linux-libre-4.2.5): Remove variable.
Diffstat (limited to 'gnu')
-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)