Manolis Ragkousis <manolis...@gmail.com> skribis: > From f9759a80030e11dfb8257f2334d5ce8f5d009cc7 Mon Sep 17 00:00:00 2001 > From: Manolis Ragkousis <manolis...@gmail.com> > Date: Fri, 14 Aug 2015 14:00:16 +0300 > Subject: [PATCH 1/2] gnu: glibc/linux: Rename "linux-headers" input to > "kernel-headers".
The subject should be more: gnu: glibc/linux: Change label from "linux-headers" to "kernel-headers". because the package name itself is unchanged. > * gnu/packages/base.scm (glibc/linux)[propagated-inputs]: Rename to > "kernel-headers". > (glibc/hurd)[arguments]: Adjust accordingly. A grep for ‘"linux-headers"’ in master shows that there are 4 files matching. These probably need to be updated as well? Also, could we make this change on top of current master and apply it to ‘core-updates’? I suppose that means ‘wip-hurd’ would need to be rebased and adjusted, but despite this annoyance, that would probably facilitate merging. WDYT? Thanks, Ludo’.