Subject: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5.

From: Eric Bavier <[email-masked]>
Date: Mon, 23 Sep 2019 21:59:24 -0400 (EDT)

Idris 1.3.2 unfortunately needs megaparsec>=7.0.4.

FWIW, idris is our only package that depends on ghc-megaparsec. :)  So maybe an upgrade is fine?

I was under the impression that our 'guix refresh' updater was supposed to use the appropriate stackage version?  But it seems to be referencing version 14.6.

----- On Sep 23, 2019, at 3:25 AM, Ludovic Courtès [email-masked] wrote:

> Hello!
> 
> Timothy Sample <[email-masked]> skribis:
> 
>> Timothy Sample <[email-masked]> writes:
>>
>>> Stackage LTS 14 targets GHC 8.6, which we are not (yet) using for
>>> Haskell builds.  We still use GHC 8.4, so we follow Stackage LTS 12
>>> (<https://www.stackage.org/lts-12>), which lists megaparsec at 1.0.0.
>>
>> That should 6.5.0.
> 
> OK, got it—I had “LTS” right but the number wrong, which is
> unfortunate.  :-)
> 
> Eric, could you adjust accordingly?
> 
> Thanks,
> Ludo’.

-- 
`~Eric