[Agda] Version mixup

[Nils Anders Danielsson]

On 2022-06-28 02:02, Philip Wadler wrote:
> I've installed a new version of Agda (2.6.2.2), but emacs agda mode
> keeps using an older version (2.6.1.1).

Perhaps the binaries for Agda 2.6.2.2 did not end up on your PATH.

> Using the "Switch to another version of Agda" option with Version
> 2.6.2.2 gives the error message:
>      Could not find agda-mode-2.6.2.2

This command looks for "agda-mode-<version>". If you want to use this
command, then you can for instance install Agda using something like
"cabal install Agda-2.6.2.2 --program-suffix=-2.6.2.2" (assuming that
the binaries end up on your PATH). Note that the Emacs mode by default
uses "agda-mode", without a suffix, even if you used the "Switch to
another version of Agda" command the last time you used Emacs.

-- 
/NAD