[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate
Sergei Meshveliani
mechvel at botik.ru
Fri May 22 17:19:41 CEST 2015
On Mon, 2015-05-18 at 22:56 -0500, Andrés Sicard-Ramírez wrote:
> Hi,
>
> We would like to announce a release candidate for Agda 2.4.2.3:
>
> https://github.com/agda/agda/archive/2.4.2.2.20150518.tar.gz
>
> This RC can be installed using the following instructions:
>
> $ tar xzf 2.4.2.2.20150518.tar.gz
> $ cd Agda-2.4.2.2.20150518.tar.gz
> $ cabal install
>
> Important changes since Agda 2.4.2.2:
>
> https://github.com/agda/agda/blob/2.4.2.2.20150518/CHANGELOG
>
> Please test as much as possible.
I have tested it on the docon-A application.
This does not reveal any errors.
------
Sergei
More information about the Agda
mailing list