[Agda] installing 2.6.2

[mechvel at scico.botik.ru]

On 2021-12-07 15:21, Jesper Cockx wrote:
> Hi Sergei,
> 
> If you have already downloaded the code you should not run `cabal
> install Agda` since that will download the Agda source again from the
> Cabal servers. Instead, you should simply run `cabal install` in the
> source directory.
> 

Thank you.
It looks like Cabal can cleverly do unexpected things!

--
SM