[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.
|
From: |
Ricardo Wurmus |
|
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 |
|
User-agent: |
mu4e 1.0; emacs 25.3.1 |
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 <address@hidden>
> 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