Manolis Ragkousis <manolis...@gmail.com> skribis: > From 846930e55796b04b00d61c3d9c15546c978a0af0 Mon Sep 17 00:00:00 2001 > From: Manolis Ragkousis <manolis...@gmail.com> > Date: Thu, 4 Feb 2016 15:50:19 +0200 > Subject: [PATCH] gnu: glibc/linux: Rename linux-headers input to > kernel-headers. > > * gnu/packages/base.scm (glibc/linux)[propagated-inputs]: Use a kernel > agnostic name for the kernel headers.
Sounds like something we could adopt on the next core-updates cycle. We should make sure no “linux-headers” uses remain. Thanks, Ludo’.