[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

[mechvel at scico.botik.ru]

On 2021-12-02 23:30, Andreas Abel wrote:
>> But will this action contradict the above instruction?
> 
> No, this will be perfectly fine!


I have  Ubuntu Linix 18.04, ghc-9.2.1,
  $ cabal --v
reports
  cabal-install version 3.4.0.0
  compiled using version 3.4.0.0 of the Cabal library

Then, I unzip  Agda-2.6.2.0.20211129.tar.gz
and run there
  $ cabal update
  $ cabal install

It reports
-------------------------------------------
cabal: Could not resolve dependencies:
[__0] trying: Agda-2.6.2.0.20211129 (user goal)
[__1] next goal: Agda:setup.Cabal (dependency of Agda)
[__1] rejecting: Agda:setup.Cabal-3.6.0.0/installed-3.6.0.0,
Agda:setup.Cabal-3.6.2.0, Agda:setup.Cabal-3.6.1.0, 
Agda:setup.Cabal-3.6.0.0
(constraint from maximum version of Cabal used by Setup.hs requires 
<3.6)
[__1] trying: Agda:setup.Cabal-3.4.1.0
[__2] next goal: Agda:setup.base (dependency of Agda)
[__2] rejecting: Agda:setup.base-4.16.0.0/installed-4.16.0.0 (conflict:
Agda:setup.Cabal => Agda:setup.base>=4.6 && <4.16)
[__2] skipping: Agda:setup.base-4.16.0.0 (has the same characteristics 
that
caused the previous version to fail: excluded by constraint '>=4.6 && 
<4.16'
from 'Agda:setup.Cabal')
[__2] rejecting: Agda:setup.base-4.15.0.0, Agda:setup.base-4.14.3.0,
Agda:setup.base-4.14.2.0, Agda:setup.base-4.14.1.0, 
Agda:setup.base-4.14.0.0,
Agda:setup.base-4.13.0.0, Agda:setup.base-4.12.0.0, 
Agda:setup.base-4.11.1.0,
Agda:setup.base-4.11.0.0, Agda:setup.base-4.10.1.0, 
Agda:setup.base-4.10.0.0,
Agda:setup.base-4.9.1.0, Agda:setup.base-4.9.0.0, 
Agda:setup.base-4.8.2.0,
Agda:setup.base-4.8.1.0, Agda:setup.base-4.8.0.0, 
Agda:setup.base-4.7.0.2,
Agda:setup.base-4.7.0.1, Agda:setup.base-4.7.0.0, 
Agda:setup.base-4.6.0.1,
Agda:setup.base-4.6.0.0, Agda:setup.base-4.5.1.0, 
Agda:setup.base-4.5.0.0,
Agda:setup.base-4.4.1.0, Agda:setup.base-4.4.0.0, 
Agda:setup.base-4.3.1.0,
Agda:setup.base-4.3.0.0, Agda:setup.base-4.2.0.2, 
Agda:setup.base-4.2.0.1,
Agda:setup.base-4.2.0.0, Agda:setup.base-4.1.0.0, 
Agda:setup.base-4.0.0.0,
Agda:setup.base-3.0.3.2, Agda:setup.base-3.0.3.1 (constraint from
non-upgradeable package requires installed instance)
[__2] fail (backjumping, conflict set: Agda, Agda:setup.Cabal,
Agda:setup.base)
After searching the rest of the dependency tree exhaustively, these were 
the
goals I've had most trouble fulfilling: Agda:setup.Cabal, 
Agda:setup.base, Agda
------------------------------------------

Needs it a higher Cabal version?

--
SM


> On 2021-11-30 23:16, mechvel at scico.botik.ru wrote:
>> 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
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda