
<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>