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
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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries