[Agda] [ANNOUNCE] Agda 2.5.3 release candidate 1

Sergei Meshveliani mechvel at botik.ru
Fri Aug 18 22:28:47 CEST 2017


On Thu, 2017-08-17 at 03:04 -0500, Andrés Sicard-Ramírez wrote:
> Dear all,
> 
> The Agda Team is very pleased to announce the first release candidate of Agda
> 2.5.3. We plan to release 2.5.3 in one week.
> 
> 
> Installation
> =======
> 
> This RC can be installed using the following instruction:
> 
>   $ cabal install
> http://hackage.haskell.org/package/Agda-2.5.2.20170816/candidate/Agda-2.5.2.20170816.tar.gz
> [..]


I have tested it on the DoCon-A 2.00 library under ghc-7.10.2, MAlonzo, 
Debian Linux.
It works.

------
Sergei



More information about the Agda mailing list