[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

mechvel at scico.botik.ru mechvel at scico.botik.ru
Tue Nov 30 23:16:04 CET 2021


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


More information about the Agda mailing list