[Agda] how to reference to a version

Sergei Meshveliani mechvel at botik.ru
Thu Dec 8 19:03:15 CET 2016


On Thu, 2016-12-08 at 12:48 -0500, Andrés Sicard-Ramírez wrote:
> On 8 December 2016 at 12:29, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > Please, what is the Standard library version for Stable Development
> > Agda ?
> 
> There isn't a *released* version of the standard library for the
> development branches (master or stable-2.5) of Agda. Currently, you
> can use the master branch of the repository of the standard library
> 
>   https://github.com/agda/agda-stdlib
> 
> with both development branches (master or stable-2.5) of Agda.

I have downloaded the Development Standard library of today,
in order to use it with  agda 2.5.2-dc9ffae
(?)
And when installing, it says "Building lib-0.12".
May be, it coincides with lib-0.12 ?

Thanks,

------
Sergei 



More information about the Agda mailing list