[Agda] [ANNOUNCE] Agda 2.6.1
Miëtek Bak
mietek at bak.io
Mon Mar 16 19:40:51 CET 2020
Can we make it a rule that the standard library gets a release at the same time as Agda?
The lack of an updated tag for agda-stdlib is currently blocking Agda 2.6.1 on Homebrew.
https://github.com/Homebrew/homebrew-core/pull/51773/files#r393225880
--
MB
On Mon, Mar 16, 2020, at 06:49, Andrés Sicard-Ramírez wrote:
> Dear all,
>
> The Agda Team is very pleased to announce the release of Agda 2.6.1.
>
> * GHC supported versions
>
> Agda 2.6.1 has been tested with GHC 8.8.3, 8.6.5, 8.4.4, 8.2.2 and
> 8.0.2. Support for GHC 7.10.3 was removed.
>
> * Installation
>
> cabal update && cabal install Agda
>
> * Standard library
>
> For the time being, you can use the *master* branch of the
> standard library which is compatible with Agda 2.6.1. This branch is
> available at
>
> https://github.com/agda/agda-stdlib/
>
> * What is new, fixed issues and incompatibilities
>
> See http://hackage.haskell.org/package/Agda-2.6.1/changelog
>
> Enjoy Agda 2.6.1.
>
> --
> Andrés on behalf of the Agda Team
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
More information about the Agda
mailing list