Hello! Manolis Fragkiskos Ragkousis <manolis...@gmail.com> skribis:
> commit 7bb1e603d096fa2d99aa3c3e1daa60391fee76a4 > Author: Manolis Ragkousis <manolis...@gmail.com> > Date: Fri Jul 31 15:26:17 2015 +0300 > > gnu: hurd: Add hurd-kernel-headers package. > > * gnu/packages/hurd.scm (hurd-kernel-headers): New variable. I think we discussed it but I forgot what the outcome was: Would it be enough to have ‘hurd-headers’ list ‘gnumach-headers’ (and maybe ‘hurd-minimal’) in ‘propagated-inputs’, rather than create ‘hurd-kernel-headers’? Thanks, Ludo’.
