[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?


No,
because  2.6.2.rc1  cannot install under ghc-8.8.3,
and I expect that 2.6.2.rc2 also would not.

--
SM