<p dir="ltr">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.</p>
<p dir="ltr">Guillaume</p>
<div class="gmail_quote">Le 6 déc. 2014 19:44, "Andreas Abel" <<a href="mailto:abela@chalmers.se">abela@chalmers.se</a>> a écrit :<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear Agda-users,<br>
<br>
currently we are supporting Agda on ghc 7.0, 7.4, 7.6, and 7.8. We might consider dropping support for ghc-7.0.<br>
<br>
Just to get an idea whether support for ghc-7.0 is still required, can you reply to this message if you need/want Agda to continue to build on ghc-7.0.<br>
<br>
Thanks,<br>
Andreas<br>
<br>
-- <br>
Andreas Abel <>< Du bist der geliebte Mensch.<br>
<br>
Department of Computer Science and Engineering<br>
Chalmers and Gothenburg University, Sweden<br>
<br>
<a href="mailto:andreas.abel@gu.se" target="_blank">andreas.abel@gu.se</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~<u></u>abel/</a><br>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
</blockquote></div>