From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH 4/9] gnu: Add ghc-ieee754. Date: Sat, 3 Dec 2016 15:01:41 -0500 Message-ID: <20161203200141.GE21416@jasmine> References: <20161203104213.8135-1-david@craven.ch> <20161203104213.8135-4-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]:49586) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cDGVI-0005dh-0Q for guix-devel@gnu.org; Sat, 03 Dec 2016 15:01:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cDGVD-00034G-5J for guix-devel@gnu.org; Sat, 03 Dec 2016 15:01:48 -0500 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:57051) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cDGVD-000342-26 for guix-devel@gnu.org; Sat, 03 Dec 2016 15:01:43 -0500 Content-Disposition: inline In-Reply-To: <20161203104213.8135-4-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 Sat, Dec 03, 2016 at 11:42:08AM +0100, David Craven wrote: > * gnu/packages/haskell.scm (ghc-ieee754): New variable. > +(define-public ghc-ieee754 > + (package > + (name "ghc-ieee754") > + (version "0.7.8") Same issue about the GitHub page appearing out of date, since it doesn't seem to have a 0.7.8 release tag. > + (license license:bsd-3))) I also noticed a 'LICENSE.Tango' file. Can you check if we need to mention that license as well?