
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><blockquote type="cite"><div>I have restarted emacs and I hope that now I only have one version of Agda installed.<font class="Apple-style-span" color="#000000"><font class="Apple-style-span" color="#144FAE"><br></font></font></div></blockquote><div><br></div>Oops, not true. When trying to fix another problem (my emacs mode was broken) I accidently installed the release version by saying "cabal install Agda". Hence there were two versions of Agda installed (which one can see by saying</div><div><div><br></div><div>ghc-pkg list Agda</div><div><br></div><div>The fix is to uninstall both by saying</div><div><br></div><div>ghc-pkg unregister Agda</div><div><br></div><div>twice and then reinstall (cabal install in the Agda root). Thanks a lot, Nisse.</div><div><br></div><div>Cheers,</div><div>Thorsten</div><div><br></div><div>P.S. The problem with the emacs mode seems to have fixed itself too...</div><br><blockquote type="cite"><div>Cheers,<br>Thorsten_______________________________________________<br>Agda mailing list<br><a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>https://lists.chalmers.se/mailman/listinfo/agda<br></div></blockquote></div><br></body></html>