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

Previous Next

Full log

View this message in rfc822 format

From: Eric Bavier <ericbavier <at> centurylink.net>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 37434 <at> debbugs.gnu.org, Timothy Sample <samplet <at> ngyro.com>, bavier <bavier <at> member.fsf.org>
Subject: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5.
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 ludo <at> gnu.org wrote:

> Hello!
> 
> Timothy Sample <samplet <at> ngyro.com> skribis:
> 
>> Timothy Sample <samplet <at> ngyro.com> 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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.