<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 16 Apr 2020 at 03:39, Michel Levy <<a href="mailto:michel.levy.imag@free.fr" target="_blank">michel.levy.imag@free.fr</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">



<div>
<p>I can't upgrade my agda 2.5.3 version. I tried to install the version 2.6.1 with cabal. </p></div></blockquote><div><br></div><div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">OS? GHC version? cabal-install version?</div><br></div><div> But I get the error</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>
<p>src/full/Agda/VersionCommit.hs:5:1: error:<br>
    Failed to load interface for ‘Development.GitRev’<br>
    There are files missing in the ‘<a href="mailto:gitrev-1.3.1@gitrev-1.3.1-6KBEbA9rw49F9GCJBEz6uX" target="_blank">gitrev-1.3.1@gitrev-1.3.1-6KBEbA9rw49F9GCJBEz6uX</a>’ package,<br></p></div></blockquote><div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">Which is the output of</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">$ cabal update</div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">$ cabal install gitrev<br></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"></div><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default">?<br></div></div></div><div class="gmail_quote"><div style="font-family:arial,helvetica,sans-serif;font-size:small" class="gmail_default"><br></div><span class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">-</span>- <br></div><div dir="ltr">Andrés</div></div>