Agda 2.4.2.2. and cpphs 1.19

[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