[Agda] [ Poll ] Maintain support for GHC 7.10.3

[Andres Sicard Ramirez]

Dear all,

Currently we are supporting Agda on GHC 7.10.3, 8.0.2, 8.2.2, 8.4.4 and 8.6.5. We are considering to drop support for GHC 7.10.3.

Just to get an idea whether support for GHC 7.10.3 is still required, could you reply to this message if you need/want Agda to continue to build on GHC 7.10.3.

Best,

--
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190426/10287f59/attachment.html>