[Agda] [ANNOUNCE] Agda 2.6.2.1 release candidate

[mechvel at scico.botik.ru]

Please, withdraw my last question.

After  cabal-3.6.2.0  is installed, this Agda-2.6.2.0.20211129 seems as 
going to be built.
I am going to test Agda-2.6.2.0.20211129  within 1-2 days.

--
SM


On 2021-12-04 21:00, mechvel at scico.botik.ru wrote:
> 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,

> [..]