[Agda-dev] Agda 2.4.2.2. and cpphs 1.19
Andrés Sicard-Ramírez
asr at eafit.edu.co
Wed Apr 29 16:42:03 CEST 2015
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
More information about the Agda-dev
mailing list