<br><div class="gmail_quote">On Tue, Dec 14, 2010 at 4:13 PM, Olle Fredriksson <span dir="ltr"><<a href="mailto:fredriksson.olle@gmail.com" target="_blank">fredriksson.olle@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br><div>If this is an issue for others, maybe we should consider hiding the Epic backend and its dependencies under a specific Cabal flag. What do you think?</div><div><br></div></blockquote><div><br>The Agda.cabal says<br>
<br>tested-with: GHC == 6.12.1, GHC == 6.12.3, GHC == 7.0.1<br><br>but Agda fails to install with GHC 6.12.1 due to the Epic dependency.<br clear="all"></div></div><br>-- <br>Andrés<br>