From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: 01/03: gnu: hurd: Add hurd-kernel-headers package. Date: Tue, 18 Aug 2015 12:56:03 +0200 Message-ID: <87egj0yif0.fsf@gnu.org> References: <20150811133830.13025.5100@vcs.savannah.gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55245) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZReYp-0001KD-Tu for guix-devel@gnu.org; Tue, 18 Aug 2015 06:56:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZReYp-0004JJ-6W for guix-devel@gnu.org; Tue, 18 Aug 2015 06:56:07 -0400 In-Reply-To: (Manolis Fragkiskos Ragkousis's message of "Tue, 11 Aug 2015 13:38:30 +0000") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Manolis Fragkiskos Ragkousis Cc: guix-devel@gnu.org Hello! Manolis Fragkiskos Ragkousis skribis: > commit 7bb1e603d096fa2d99aa3c3e1daa60391fee76a4 > Author: Manolis Ragkousis > Date: Fri Jul 31 15:26:17 2015 +0300 > > gnu: hurd: Add hurd-kernel-headers package. >=20=20=20=20=20 > * 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 =E2=80=98hurd-headers=E2=80=99 list =E2=80=98gnumach-headers= =E2=80=99 (and maybe =E2=80=98hurd-minimal=E2=80=99) in =E2=80=98propagated-inputs=E2=80=99, rat= her than create =E2=80=98hurd-kernel-headers=E2=80=99? Thanks, Ludo=E2=80=99.