Agda 2.4.2.2. and cpphs 1.19

[Erik Hesselink]

I don't think it's currently possible to edit the build-tools field
through the web interface for anyone (doesn't matter if it's inside a
flag). It seems the simplest solution is to just release a new version
with a relaxed constraint.

Regards,

Erik

On Wed, Apr 29, 2015 at 4:42 PM, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> Hi,
>
> The current version of Agda (2.4.2.2) in Hackage doesn't install with
> the current version of cpphs (1.19) in Hackage due to the following
> restriction:
>
>   build-tools: cpphs >= 1.18.6 && < 1.19
>
> Although I'm a maintainer of Agda, using the Hackage web interface I
> couldn't increase the upper bound for cpphs to 1.20 because this upper
> bound is inside a cabal flag.
>
> Since this problem has been repeatedly reported by Agda's users, could
> some Hackage trustee fix the problem, please.
>
> Thanks,
>
> --
> Andrés
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries