From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH 5/7] gnu: Add spice. Date: Thu, 28 Jul 2016 17:09:35 -0400 Message-ID: <20160728210935.GC1865@jasmine> References: <20160723214618.GA26113@jasmine> <20160724175230.19184-1-david@craven.ch> <20160724175230.19184-5-david@craven.ch> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:52859) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bSsYp-0004Bx-98 for guix-devel@gnu.org; Thu, 28 Jul 2016 17:09:44 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bSsYn-0006Q5-DJ for guix-devel@gnu.org; Thu, 28 Jul 2016 17:09:43 -0400 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:60924) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bSsYm-0006NQ-6o for guix-devel@gnu.org; Thu, 28 Jul 2016 17:09:41 -0400 Content-Disposition: inline In-Reply-To: <20160724175230.19184-5-david@craven.ch> 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" To: David Craven Cc: guix-devel@gnu.org On Sun, Jul 24, 2016 at 07:52:28PM +0200, David Craven wrote: > * gnu/packages/spice.scm: Add it. > +(define-public spice As discussed, your original choices regarding propagation were correct (sorry I wasted your time!). So, I re-propagated those inputs in this patch, keeping the celt051 comment and the license list. Thanks!