Agda 2.4.2.2. and cpphs 1.19
Andrés Sicard-Ramírez
asr at eafit.edu.co
Wed Apr 29 15:34:52 UTC 2015
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
More information about the Libraries
mailing list