From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ricardo Wurmus <rekado@elephly.net>
Subject: Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to
	1.2.0")
Date: Wed, 07 Mar 2018 14:53:26 +0100
Message-ID: <87vae8kn55.fsf@elephly.net>
References: <877eqp7pql.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me>
	<87o9k0jwdj.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me>
	<87zi3kl5ek.fsf@elephly.net>
	<87h8psjchd.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:40107)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <rekado@elephly.net>) id 1etZW1-0007Mv-9d
	for guix-devel@gnu.org; Wed, 07 Mar 2018 08:53:58 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <rekado@elephly.net>) id 1etZVw-0007vh-Dl
	for guix-devel@gnu.org; Wed, 07 Mar 2018 08:53:57 -0500
Received: from sender-of-o51.zoho.com ([135.84.80.216]:21076)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <rekado@elephly.net>) id 1etZVw-0007v9-35
	for guix-devel@gnu.org; Wed, 07 Mar 2018 08:53:52 -0500
In-reply-to: <87h8psjchd.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me>
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Alex ter Weele <alex.ter.weele@gmail.com>
Cc: guix-devel@gnu.org


Hi Alex,

> My mistake, here's the patch. Let me know if this should be broken up
> further.
>
> From f31cd301804b6fc3dbf345a9e37d20814cd407ae Mon Sep 17 00:00:00 2001
> From: Alex ter Weele <alex.ter.weele@gmail.com>
> Date: Tue, 6 Mar 2018 19:32:05 -0600
> Subject: [PATCH] gnu: idris: fix package.
>
> * gnu/packages/idris.scm (ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5,
>   ghc-trifecta-1.6.2.1) new variables. (idris) [inputs] alphebetize
>   ghc-vector-binary-instances and ghc-async. Use ghc-aeson-1.1.2.0,
>   ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. Remove ghc-aeson,
>   ghc-cheapskate, ghc-parsers, ghc-tasty, ghc-tasty-golden, ghc-tasty-rerun,
>   ghc-trifecta, and ghc-zlib.

Thanks.  Please create separate patches for adding ghc-aeson-1.1.2.0,
ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1.

--
Ricardo