[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

[Andreas Abel]

 > But will this action contradict the above instruction?

No, this will be perfectly fine!

Best,
Andreas

On 2021-11-30 23:16, mechvel at scico.botik.ru wrote:
> On 2021-11-30 00:43, Andreas Abel wrote:
>> The Agda Team is pleased to announce a release candidate for Agda 
>> 2.6.2.1:
>>
>>     https://hackage.haskell.org/package/Agda-2.6.2.0.20211129/candidate
>>
>> 2.6.2.1 will be mostly a bugfix release, and will build in the latest
>> Haskell ecosystem (GHC 9.2.1, aeson-2.0, hashable-1.4,
>> hashtables-1.3).
>> For detailed comparison with 2.6.2, consult the changelog published
>> with the candidate above.
>>
>> Instructions how to test the candidate are available at:
>>
>>     https://github.com/agda/agda/pull/5678
>> [..]
> 
> 
> The page
>    https://hackage.haskell.org/package/Agda-2.6.2.0.20211129/candidate
> 
> also provides  Agda-2.6.2.0.20211129.tar.gz
> 
> I have downloaded it.
> Now  https://github.com/agda/agda/pull/5678
> 
> has an instruction for testing that starts with getting Agda from a 
> certain place ... (?).
> I could try to install it from the above  Agda-2.6.2.0.20211129.tar.gz.
> But will this action contradict the above instruction?
> 
> -- 
> SM
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda