[Agda] [ANNOUNCE] Agda 2.6.4.1

[mechvel at scico.botik.ru]

On 2023-11-30 21:33, Andreas Abel wrote:
> Dear all,
> 
> The Agda Team is pleased to announce Agda 2.6.4.1.
> [..]


> Agda 2.6.4.1 can be installed using cabal-install or stack:
> 
> 1. Getting the tarball
> 
>         $ cabal update
>         $ cabal get Agda-2.6.4.1
>         $ cd Agda-2.6.4.1


It is desirable to download the archive file of the release.
I do not see such.
I could apply  zip  to the Agda-2.6.4.1/  folder, but probably there 
needs to be some regular way.
Am I missing something?

------
Sergei