[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

[Nils Anders Danielsson]

On 2021-12-07 19:37, mechvel at scico.botik.ru wrote:
> Today, I moved from  Agda-2.6.2.0.20211129 + ghc-9.2.1
> to                   Agda-2.6.2 + ghc-8.8.3.
> 
> The same application is built under the same options.
> And the latter executable runs 25% faster.
> 
> If you are interested, I could send the source to your e-mail
> (a preliminary program, not for further distribution).

I suggest that you report the problem on the bug tracker, preferably
together with a small test case.

-- 
/NAD