[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