[Agda] error in plfa exercise

[Jason -Zhong Sheng- Hu]

The way always works for me is to install it via stack.

just download the source code of agda, checkout the right release, rename your favorite stack.yaml, type `stack install` and then wait.

Thanks,
Jason Hu
https://hustmphrrr.github.io/
________________________________
From: Agda <agda-bounces at lists.chalmers.se> on behalf of Andrés Sicard-Ramírez <asr at eafit.edu.co>
Sent: April 16, 2020 7:35 AM
To: Michel Levy <michel.levy.imag at free.fr>
Cc: Agda users <agda at lists.chalmers.se>
Subject: Re: [Agda] error in plfa exercise


On Thu, 16 Apr 2020 at 03:39, Michel Levy <michel.levy.imag at free.fr<mailto: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<mailto: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/ea017d44/attachment.html>