From 66d633186cb338c87f7df9c6494f7dca1c8531c0 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis <address@hidden>
Date: Fri, 31 Jul 2015 19:20:31 +0300
Subject: [PATCH] gnu: base: Replace Gnumach/Hurd headers with kernel-headers
 package.

* gnu/packages/base.scm (glibc/hurd): Replace with kernel-headers package.
---
 gnu/packages/base.scm | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/gnu/packages/base.scm b/gnu/packages/base.scm
index 07a06c9..91a9b48 100644
--- a/gnu/packages/base.scm
+++ b/gnu/packages/base.scm
@@ -625,9 +625,7 @@ with the Linux kernel.")
 
     ;; Libc provides <hurd.h>, which includes a bunch of Hurd and Mach headers,
     ;; so both should be propagated.
-    (propagated-inputs `(("gnumach-headers" ,gnumach-headers)
-                         ("hurd-headers" ,hurd-headers)
-                         ("hurd-minimal" ,hurd-minimal)))
+    (propagated-inputs `(("hurd-kernel-headers" ,hurd-kernel-headers)))
     (native-inputs
      `(,@(package-native-inputs glibc/linux)
        ("mig" ,mig)
-- 
2.5.0