[Agda] [ANNOUNCE] Agda 2.6.2 release candidate

[mechvel at scico.botik.ru]

On 2021-05-25 18:40, Andrés Sicard-Ramírez wrote:
> Dear all,
> 
> The Agda Team is very pleased to announce a release candidate of Agda
> 2.6.2. We plan to release 2.6.2 in a few days.
> [..]

> Agda 2.6.2 RC has been tested with GHC 9.0.1, 8.10.4, 8.8.4, 8.6.5,
> 8.4.4, 8.2.2 and 8.0.2 on Linux, macOS and Windows.
> 

In Ubuntu Linux 18.04, I first tried it with  ghc-8.8.3 :

   > cabal install

And it has failed, it has reported several errors, I do not recall what 
precisely,
but something essential.
(probably, you can try it under ghc-8.8.3, Linux).

Then I tried this under  ghc-9.0.1,  and it has installed.
Now, I am going to apply this candidate.

Regards,

-----
Sergei