Agda 2.4.2.2. and cpphs 1.19

[Andrés Sicard-Ramírez]

On 29 April 2015 at 09:51, Erik Hesselink <hesselink at gmail.com> wrote:
> 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).

Thanks for the information.

> It seems the simplest solution is to just release a new version
> with a relaxed constraint.

Since that the --allow-newer doesn't work with build-tools, I've been
suggesting to use the --with-cpphs flag with a supported version of
cpphs.

Best,

-- 
Andrés