[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