<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>