<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>I can't upgrade my agda 2.5.3 version. I tried to install the
version 2.6.1 with cabal. But I get the error</p>
<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 class="moz-txt-link-abbreviated" href="mailto:gitrev-1.3.1@gitrev-1.3.1-6KBEbA9rw49F9GCJBEz6uX">gitrev-1.3.1@gitrev-1.3.1-6KBEbA9rw49F9GCJBEz6uX</a>’ package,<br>
try running 'ghc-pkg check'.<br>
Use -v to see a list of the files searched for.<br>
cabal: Leaving directory '/tmp/cabal-tmp-5754/Agda-2.6.1'<br>
cabal: Error: some packages failed to install:<br>
Agda-2.6.1 failed during the building phase. The exception was:<br>
ExitFailure 1<br>
</p>
<p>And I don't know what to do to avoid these mistakes. When I try
the command 'ghc-pkg check', I get a list of many pages of missing
files. That's why I'm forced to stick with my 2.5.3 version. <br>
</p>
<p>Sincerely yours<br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">Le 15/04/2020 à 23:09, Philip Wadler a
écrit :<br>
</div>
<blockquote type="cite"
cite="mid:CAESRbcoQuqoQHxF9BHT3iaVu+=Y_Ls1720gyVsT4=z9N3ehtGA@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">If you want to study PLFA, best to upgrade to
2.6.0.1. I believe there are other ways to install Agda besides
using an Ubuntu package. Yours, -- P
<div><br clear="all">
<div>
<div dir="ltr" class="gmail_signature"
data-smartmail="gmail_signature">
<div dir="ltr">
<div>
<div dir="ltr">
<div dir="ltr">
<div>
<div dir="ltr">. \ Philip Wadler, Professor of
Theoretical Computer Science,<br>
. /\ School of Informatics, University of
Edinburgh<br>
</div>
<div>. / \ and Senior Research Fellow, IOHK<br>
</div>
<div dir="ltr">. <span><a
href="http://homepages.inf.ed.ac.uk/wadler/"
target="_blank" moz-do-not-send="true">http://homepages.inf.ed.ac.uk/wadler/</a></span></div>
</div>
<div dir="ltr"><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
</div>
</div>
<br>
</blockquote>
<div class="moz-signature">-- <br>
courriel : <a class="moz-txt-link-abbreviated" href="mailto:michel.levy.imag@free.fr">michel.levy.imag@free.fr</a> <br>
mobile : 06 59 13 42 53<br>
web : michel.levy.imag.free.fr
</div>
</body>
</html>