<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
The way always works for me is to install it via stack.</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
<br>
</div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);">
just download the source code of agda, checkout the right release, rename your favorite stack.yaml, type `stack install` and then wait.<br>
</div>
<div>
<div style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature">
<div></div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif;">
<font size="3"><b>Thanks,</b></font></div>
<div dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif;">
<font size="3"><b>Jason Hu</b></font></div>
<div dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif;">
<font size="3"><b><a href="https://hustmphrrr.github.io/" style="">https://hustmphrrr.github.io/</a></b></font><br>
<font size="3"><b></b></font><font style="font-size:12pt" size="3"><span style="color: rgb(69, 129, 142);"><span style="font-family:trebuchet ms,sans-serif"><b><a target="_blank" style=""></a></b></span></span></font></div>
</div>
</div>
<div id="appendonsend"></div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>From:</b> Agda <agda-bounces@lists.chalmers.se> on behalf of Andrés Sicard-Ramírez <asr@eafit.edu.co><br>
<b>Sent:</b> April 16, 2020 7:35 AM<br>
<b>To:</b> Michel Levy <michel.levy.imag@free.fr><br>
<b>Cc:</b> Agda users <agda@lists.chalmers.se><br>
<b>Subject:</b> Re: [Agda] error in plfa exercise</font>
<div> </div>
</div>
<div>
<div dir="ltr">
<div dir="ltr">
<div class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
</div>
</div>
<br>
<div class="x_gmail_quote">
<div dir="ltr" class="x_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="x_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 class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
OS? GHC version? cabal-install version?</div>
<br>
</div>
<div> But I get the error</div>
<blockquote class="x_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 class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
</div>
<div class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
Which is the output of</div>
<div class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
<br>
</div>
<div class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
$ cabal update</div>
<div class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
$ cabal install gitrev<br>
</div>
<div class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
</div>
<div class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
?<br>
</div>
</div>
</div>
<div class="x_gmail_quote">
<div class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">
<br>
</div>
<span class="x_gmail_default" style="font-family:arial,helvetica,sans-serif; font-size:small">-</span>-
<br>
</div>
<div dir="ltr">Andrés</div>
</div>
</div>
</body>
</html>