<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 6 December 2014 at 13:44, Andreas Abel <span dir="ltr">&lt;<a href="mailto:abela@chalmers.se" target="_blank">abela@chalmers.se</a>&gt;</span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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.</blockquote></div><br><div class="gmail_default" style="font-size:small">​It seems we can remove support for GHC 7.0.4.​ Right?<br></div><br clear="all">-- <br><div class="gmail_signature"><div dir="ltr">Andrés<br></div></div>
</div></div>