[Agda] error in plfa exercise

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu Apr 16 13:35:45 CEST 2020


On Thu, 16 Apr 2020 at 03:39, Michel Levy <michel.levy.imag at free.fr> wrote:

> I can't upgrade my agda 2.5.3 version. I tried to install the version
> 2.6.1 with cabal.
>

OS? GHC version? cabal-install version?

 But I get the error

> src/full/Agda/VersionCommit.hs:5:1: error:
>     Failed to load interface for ‘Development.GitRev’
>     There are files missing in the ‘
> gitrev-1.3.1 at gitrev-1.3.1-6KBEbA9rw49F9GCJBEz6uX’ package,
>
Which is the output of

$ cabal update
$ cabal install gitrev
?

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200416/d2718bab/attachment.html>


More information about the Agda mailing list