[Agda] how to reference to a version

[Ulf Norell]

Each commit of Agda contains a reference to the particular commit of the
standard library
that it has been tested with. To find out which one you can do the
following (after checking
out the commit of Agda that you are interested in):

$ git submodule init
Submodule 'std-lib' (https://github.com/agda/agda-stdlib) registered for
path 'std-lib'
$ git submodule update
Cloning into 'std-lib'...
Submodule path 'std-lib': checked out
'7220ca3ee025e9339aa8e5d11efcd069764e7977'
$ cd std-lib
$ git status
HEAD detached at 7220ca3

So the commit of the standard library that works with the Agda commit I
tested this on is
7220ca3. This is probably the easiest way for your users to get a
compatible version of
the standard library as well, saving them the trouble of keeping track of
two commit hashes.

/ Ulf

On Thu, Dec 8, 2016 at 7:03 PM, Sergei Meshveliani <mechvel at botik.ru> wrote:

> 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
>
> _______________________________________________
> 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/20161208/a3d04d96/attachment.html