From: Ricardo Wurmus <rekado@elephly.net>
To: Alex ter Weele <alex.ter.weele@gmail.com>
Cc: guix-devel@gnu.org
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 [thread overview]
Message-ID: <87vae8kn55.fsf@elephly.net> (raw)
In-Reply-To: <87h8psjchd.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me>
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
next prev parent reply other threads:[~2018-03-07 13:53 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-06 5:11 Incomplete work to upgrade Idris to 1.2.0 Alex ter Weele
2018-03-07 5:19 ` [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0") Alex ter Weele
2018-03-07 7:18 ` Ricardo Wurmus
2018-03-07 12:29 ` Alex ter Weele
2018-03-07 13:53 ` Ricardo Wurmus [this message]
2018-03-08 0:43 ` Alex ter Weele
2018-03-09 15:56 ` Alex ter Weele
2018-03-13 2:08 ` [bug#30741] " Alex ter Weele
2018-03-16 10:56 ` bug#30741: " Ludovic Courtès
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87vae8kn55.fsf@elephly.net \
--to=rekado@elephly.net \
--cc=alex.ter.weele@gmail.com \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.