Sorry about the mail floundering, hopefully this is better.
>From 2486f55a177b3f62509fd999e5d5cbd072d5ce17 Mon Sep 17 00:00:00 2001
From: Alex ter Weele
Date: Wed, 7 Mar 2018 18:28:24 -0600
Subject: [PATCH 1/4] gnu: Add ghc-aeson-1.1.2.0.
* gnu/packages/idris.scm (ghc-aeson-1.1.2.0): New variabl
Sure!
>From ef0dcd5a84c4f8e4331fb8f07a4e1709a577eb31 Mon Sep 17 00:00:00 2001
From: Alex ter Weele
Date: Wed, 7 Mar 2018 18:31:22 -0600
Subject: [PATCH 3/4] gnu: Add ghc-cheapskate-0.1.0.5.
* gnu/packages/idris.scm (ghc-cheapskate-0.1.0.5): New variable.
---
gnu/packages/idris.scm | 19
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
> Date: Tue, 6 Mar 2018 19:32:05 -0600
> Subject: [PATCH] gnu: idris: fix package.
>
> * gnu/packages/idri
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
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,
Hi Alex,
> On guix-devel¹, I had given an incomplete patch to update idris to
> 1.2.0. After further investigation, I concluded this was the wrong
> approach because our current version of GHC is 8.0.2, so the right
> version of LTS Haskell to follow is https://www.stackage.org/lts-9.4,
> which i
On guix-devel¹, I had given an incomplete patch to update idris to
1.2.0. After further investigation, I concluded this was the wrong
approach because our current version of GHC is 8.0.2, so the right
version of LTS Haskell to follow is https://www.stackage.org/lts-9.4,
which includes Idris 1.0, no
Hello all,
This is my attempt to upgrade Idris to 1.2.0, the version included in
LTS Haskell 10.7. sclv on #hackage helped me figure out that one of the
remaining problems is a version mismatch on ghc-binary:
$ ./pre-inst-env guix build idris
...
Warning: This package indirectly depen
