From d013fe50ba28e5fca813ce067f416477b8041694 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 7 Apr 2014 23:35:28 +0200
Subject: [PATCH] gnu: linux-libre: Upgrade to 3.13.7.

* gnu/packages/linux.scm (linux-libre): Update to 3.13.7.
---
 gnu/packages/linux.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index c9f5bbcceb..66cf17ffc6 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -150,7 +150,7 @@
     (license gpl2+)))
 
 (define-public linux-libre
-  (let* ((version "3.13")
+  (let* ((version "3.13.7")
          (build-phase
           '(lambda* (#:key system #:allow-other-keys #:rest args)
              (let ((arch (car (string-split system #\-))))
@@ -208,7 +208,7 @@
              (uri (linux-libre-urls version))
              (sha256
               (base32
-               "15pdizzxnnvpxmdb1lbi01kpingmdvj17b01vzbyjymi4vwfws3f"))))
+               "0j28dg0zq4vlbk4ady4fq021i8dxx2h8h90n26mzigr9hky86n8d"))))
     (build-system gnu-build-system)
     (native-inputs `(("perl" ,perl)
                      ("bc" ,bc)