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

[Eric Bavier]

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 address@hidden wrote:

> Hello!
> 
> Timothy Sample <address@hidden> skribis:
> 
>> Timothy Sample <address@hidden> 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