[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