[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5.
From: |
Ludovic Courtès |
Subject: |
[bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5. |
Date: |
Tue, 24 Sep 2019 09:16:34 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
Hello,
Eric Bavier <address@hidden> skribis:
> 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?
For the sake of consistency, what about adding a variant of megaparsec
for use by Idris, and keeping the LTS-12 version?
> 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.
Looking at ‘latest-lts-release’ in (guix import stackage), the updater
seems to just take the latest LTS version.
We should probably fix that by having the argument to
‘stackage-lts-info-fetch’ default to the currently targeted LTS version.
Otherwise one has to know the LTS version and pass it to ‘guix import
stackage --lts-version’, which is error-prone.
Thoughts?
Ludo’.
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., ericbavier, 2019/09/16
- [bug#37435] [PATCH 2/2] gnu: idris: Update to 1.3.2., ericbavier, 2019/09/16
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Ludovic Courtès, 2019/09/20
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Timothy Sample, 2019/09/20
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Timothy Sample, 2019/09/20
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Ludovic Courtès, 2019/09/23
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Eric Bavier, 2019/09/23
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5.,
Ludovic Courtès <=
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Eric Bavier, 2019/09/24
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Ludovic Courtès, 2019/09/24
- bug#37435: [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Eric Bavier, 2019/09/24
- [bug#37434] [PATCH 1/2] gnu: ghc-megaparsec: Update to 7.0.5., Timothy Sample, 2019/09/25