From fcf937ba04e5d4daf13c80372c0973e2f7bbc784 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis <address@hidden>
Date: Fri, 31 Jul 2015 19:20:31 +0300
Subject: [PATCH 2/3] 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 b7e7947..237d27e 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 `(("kernel-headers" ,kernel-headers)))
     (native-inputs
      `(,@(package-native-inputs glibc/linux)
        ("mig" ,mig)
-- 
2.4.6