From 7b99ba4acdbce6d0b134a8bd8eb555d00edeb0a5 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Wed, 29 Jan 2014 23:34:47 +0100
Subject: gnu: linux-libre: Upgrade to 3.13.

* gnu/packages/linux.scm (linux-libre): Upgrade to 3.13.
---
 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 7808cb108c..b79318f23a 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -148,7 +148,7 @@ (define-public module-init-tools
     (license gpl2+)))
 
 (define-public linux-libre
-  (let* ((version "3.12")
+  (let* ((version "3.13")
          (build-phase
           '(lambda* (#:key system #:allow-other-keys #:rest args)
              (let ((arch (car (string-split system #\-))))
@@ -194,7 +194,7 @@ (define-public linux-libre
              (uri (linux-libre-urls version))
              (sha256
               (base32
-               "0drjxm9h2k9bik2mhrqqqi6cm5rn2db647wf0zvb58xldj0zmhb6"))))
+               "15pdizzxnnvpxmdb1lbi01kpingmdvj17b01vzbyjymi4vwfws3f"))))
     (build-system gnu-build-system)
     (native-inputs `(("perl" ,perl)
                      ("bc" ,bc)
-- 
cgit v1.2.3