[Agda] [ANNOUNCE] Agda 2.6.4.1

[Andreas Abel]

Bounds of dependencies can be revised on hackage, see e.g.

   https://hackage.haskell.org/package/Agda-2.6.3/revisions/

With `cabal get` these revisions will be included, that will help Agda 
build on newer GHCs.

On 2023-12-01 16:47, mechvel at scico.botik.ru wrote:
> 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

-- 
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/