[Agda] install agda

[Michel Levy]

Thank you really much for your help. I copied agda and agda-mode in my
/home/michel/bin directory.

But I have another problem, when I use emacs with a file test.agda :
File mode specification error: (error The Agda mode’s version (2.5.3)
does not match that of agda (2.6.1).)

michel at M1330:~$ agda-mode locate
/home/michel/Agda-2.6.1/.cabal-sandbox/share/i386-linux-ghc-8.0.2/Agda-2.6.1/emacs-mode/agda2.el

What should I do to install the Agda mode's version 2.6.1 ? The files
for emacs are in the above directory emacs-mode, where to put these files ?

Now the files for emacs are in the directory
/usr/share/emacs25/site-lisp/elpa/agda2-mode-2.5.3.

> On Sat, 2 May 2020 at 11:05, Michel Levy <michel.levy.imag at free.fr> wrote:
>> Hence my question: where to find the new
>> installation in the directory Agda-2.6.1 and how to reinstall the agda
>> command and the agda mode .
> The new commands are in the directory `Agda-2.6.1/.cabal-sandbox/bin`.
>
-- 
courriel : michel.levy.imag at free.fr
mobile : 06 59 13 42 53
web : michel.levy.imag.free.fr