[Agda] ANNOUNCE: Agda 2.4.2.3 release candidate

Sergei Meshveliani mechvel at botik.ru
Wed May 20 13:40:53 CEST 2015


On Wed, 2015-05-20 at 04:52 -0500, Andrés Sicard-Ramírez wrote:
> On 20 May 2015 at 04:44, Sergei Meshveliani <mechvel at botik.ru> wrote:
> > Do I need to update the  git  version?  (I use 1.7.2.5).
> 
> I don't know (my git version is 2.3.5).
> 
> What about
> 
> $ git clone https://github.com/agda/agda-stdlib.git
> $ cd agda-stdlib/
> $ git checkout 2.4.2.3
> 
> ?

It reports

 Branch 2.4.2.3 set up to track remote branch 2.4.2.3 from origin.
 Switched to a new branch '2.4.2.3'

The downloaded file/directory list is shown (by ls) as 

 AllNonAsciiChars.hs    GNUmakefile  notes                README.md
 CHANGELOG              Header       publish-listings.sh  Setup.hs
 ffi                    lib.cabal    README               src
 GenerateEverything.hs  LICENCE      README.agda

Is this the library source you intended?

------
Sergei




More information about the Agda mailing list