[Agda] [ANNOUNCE] Agda 2.6.4.1

[mechvel at scico.botik.ru]

On 2023-12-01 15:57, Andreas Abel wrote:
> Dear Sergei,
> 
> for the RC the URL was
> 
> 
> https://hackage.haskell.org/package/Agda-2.6.4.1/candidate/Agda-2.6.4.1.tar.gz
> 
> so this URL should work (fingers crossed):
> 
>   https://hackage.haskell.org/package/Agda-2.6.4.1/Agda-2.6.4.1.tar.gz
> 
> You can e.g. use `wget`.
> 
> However, the `cabal get` method is the preferred one in general to get 
> source code from Hackage, because it will apply
> revisions if there are any.
> 

Revisions?
Do you mean that the result of  "cabal get Agda-2.6.4.1"
obtained today may differ from the result of this command done a month 
after?

For example, my Foo program is tested under Agda-2.6.4.1", where Agda is 
downloaded by "cabal get Agda-2.6.4.1".
And if I repeat  "cabal get Agda-2.6.4.1"  after a month, it may fail to 
install - because the source of
Agda-2.6.4.1/  for cabal is revised?

Am I missing something?

------
Sergei


> Best,
> Andreas
> 
> On 2023-12-01 11:38, mechvel at scico.botik.ru wrote:
>> 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