[Agda] [ANNOUNCE] Agda 2.6.2 release candidate 2

[mechvel at scico.botik.ru]

On 2021-06-06 19:01, Nils Anders Danielsson wrote:
> On 2021-06-06 15:11, mechvel at scico.botik.ru wrote:
>> But the performance has reduced on  20%  relatively to  Agda-2.6.1 + 
>> ghc-8.8.3.
> 
>> 2.6.2.rc2 + ghc-9.0.1  spends 20% more of time.
> 
> If I understood you correctly you used two different versions of GHC.
> Can you rerun the test using one version of GHC?


Currently the situation is as follows.
* I have only  ghc-9.0.1 and ghc-8.8.3 installed.
* It is a long process to install another ghc version,
   it is better for me to avoid this now.
* Agda-2.6.1 cannot be installed on ghc-8.8.3,

* If Agda-2.6.1 can be installed under ghc-9.0.1,
   then I could try.

Also I am looking at
      https://wiki.portal.chalmers.se/agda/Main/Download

and do not find: which Agda version can be installed on which ghc 
versions.
(?)

--
SM