[Agda] [ANNOUNCE] Agda 2.6.2 release candidate 2

[mechvel at scico.botik.ru]

On 2021-06-06 22:22, mechvel at scico.botik.ru wrote:
> 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,

A typo. It needs to be

   * Agda-2.6.2-rc2 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda