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`. -- Andrés