diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/linux.scm | 16 |
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) |