<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<div dir="ltr">
<div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">
Dear all,<br>
<br>
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.<br>
<br>
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.<br>
<br>
</div>
<div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">
Best,<br>
</div>
<br>
-- <br>
<div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">
<div dir="ltr">
<div>
<div dir="ltr">Andrés</div>
</div>
</div>
</div>
</div>
</body>
</html>