[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate
Sergei Meshveliani
mechvel at botik.ru
Wed May 20 11:44:50 CEST 2015
On Tue, 2015-05-19 at 10:19 -0500, Andrés Sicard-Ramírez wrote:
> On 19 May 2015 at 10:01, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > And where to take its standard library from?
>
> For the time being, you can use the following command:
>
> $ git clone https://github.com/agda/agda-stdlib.git --branch 2.4.2.3
> --single-branch
>
> git clone https://github.com/agda/agda-stdlib.git --branch 2.4.2.3
--single-branch
(blanc set after `3') reports
"error: unknown option `single-branch'".
And without blanc, it reports
2.4.2.3--single-branch not found in upstream origin,
using HEAD instead.
Do I need to update the git version? (I use 1.7.2.5).
Thanks,
------
Sergei
More information about the Agda
mailing list