[Agda] Poll: maintain support for ghc-7.0 ?!

[Andrés Sicard-Ramírez]

On 18 December 2014 at 10:05, Guillaume Brunerie <
guillaume.brunerie at gmail.com> wrote:
>
> I think I was the one who needed support for ghc-7.0 because my computer
> at the university is running CentOS 6 which still has ghc-7.0.4. But a few
> weeks ago I asked for a more recent ghc to the administrator (because in
> Agda we disable -Werror on ghc-7.0 which is annoying) and I now have
> ghc-7.6.2, so as far as I am concerned we can drop support of ghc-7.0.


​Thanks. I was waiting for your reply :-)

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141218/f9c7be4d/attachment-0001.html