[Agda] [ANNOUNCE] Agda 2.6.2 release candidate

[Jesper Cockx]

Dear Sergei,

Note that 8.8.3 is not supported, so it is not surprising that the
compilation failed.

-- Jesper

On Sat, Jun 5, 2021 at 12:22 PM <mechvel at scico.botik.ru> wrote:

> On 2021-05-25 18:40, Andrés Sicard-Ramírez wrote:
> > Dear all,
> >
> > The Agda Team is very pleased to announce a release candidate of Agda
> > 2.6.2. We plan to release 2.6.2 in a few days.
> > [..]
>
> > Agda 2.6.2 RC has been tested with GHC 9.0.1, 8.10.4, 8.8.4, 8.6.5,
> > 8.4.4, 8.2.2 and 8.0.2 on Linux, macOS and Windows.
> >
>
> In Ubuntu Linux 18.04, I first tried it with  ghc-8.8.3 :
>
>    > cabal install
>
> And it has failed, it has reported several errors, I do not recall what
> precisely,
> but something essential.
> (probably, you can try it under ghc-8.8.3, Linux).
>
> Then I tried this under  ghc-9.0.1,  and it has installed.
> Now, I am going to apply this candidate.
>
> Regards,
>
> -----
> Sergei
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210605/dbef7cde/attachment.html>