[Agda] [ANNOUNCE] Agda 2.6.4.1

[Andreas Abel]

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.

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

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/