[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