diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm
index aeed0890eb..ea068dc4ff 100644
--- a/gnu/packages/linux.scm
+++ b/gnu/packages/linux.scm
@@ -313,17 +313,6 @@ (define-public linux-libre
     (license gpl2)
     (home-page "http://www.gnu.org/software/linux-libre/"))))
 
-(define-public linux-libre-4.0
-  (package
-    (inherit linux-libre)
-    (version "4.0.9")
-    (source (origin
-              (method url-fetch)
-              (uri (linux-libre-urls version))
-              (sha256
-               (base32
-                "1xk57pk5skj6qjmzs5c5gs8nkfjb8dbyqqz7fqk0kf68svqiwrwq"))))))
-
 
 ;;;
 ;;; Pluggable authentication modules (PAM).