[Agda] stable version

[Ulf Norell]

If by stable version you mean version 2.5.1.2 from Hackage (cabal install
Agda) then
the development version is more current. As Andrés already pointed out
2.5.1.2 does
not contain anything more than 2.5.1.1 (from June).

If by stable you mean the stable-2.5 branch from github then todays stable
is more current
than the master branch from October.

/ Ulf

On Wed, Dec 7, 2016 at 10:09 AM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

> Please, what is more fresh:
> Development version of October 4 2016
> or
> Stable version  downloaded today (December 7, 2016)
> ?
>
> Thanks,
>
> ------
> 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/20161207/d5f77b65/attachment.html