[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 08:18:59 +0100 |
User-agent: |
mu4e 1.0; emacs 25.3.1 |
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 includes Idris 1.0, not 1.2.
Thank you!
Could you please send a patch per modified package instead of a copy of
the module?
--
Ricardo
GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC
https://elephly.net