> 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.
Could you please send a patch per modified package instead of a copy of
GPG: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC