Index of /trisquel/pool/main/a/agda-stdlib

Icon  Name                              Last modified      Size  
[PARENTDIR] Parent Directory                                       -   
[   ] agda-stdlib_0.7.orig.tar.gz       2013-04-10 18:03  221K  
[   ] agda-stdlib_0.7-2_all.deb         2013-05-27 23:33   17M  
[TXT] agda-stdlib_0.7-2.dsc             2013-05-27 23:33  2.0K  
[   ] agda-stdlib_0.7-2.debian.tar.gz   2013-05-27 23:33  4.4K  
[   ] agda-stdlib_0.6.orig.tar.gz       2012-01-04 01:04  211K  
[TXT] agda-stdlib_0.6-2.dsc             2012-03-18 21:33  1.4K  
[   ] agda-stdlib_0.6-2.debian.tar.gz   2012-03-18 21:33  4.1K  
[   ] agda-stdlib_0.5.orig.tar.gz       2011-03-01 01:04  193K  
[TXT] agda-stdlib_0.5-1~ubuntu1.dsc     2011-03-01 01:04  1.9K  
[   ] agda-stdlib_0.5-1~ubuntu1.diff.gz 2011-03-01 01:04  3.7K  
[TXT] agda-stdlib_0.5-1.dsc             2011-06-17 17:05  1.9K  
[   ] agda-stdlib_0.5-1.diff.gz         2011-06-17 17:05  3.6K  
[   ] agda-stdlib_0.3.orig.tar.gz       2010-02-13 16:04  150K  
[TXT] agda-stdlib_0.3-3fakesync.dsc     2010-05-25 22:04  1.3K  
[   ] agda-stdlib_0.3-3fakesync.diff.gz 2010-05-25 22:04  3.7K  
[TXT] agda-stdlib_0.3-1ubuntu2.dsc      2010-02-16 13:04  1.3K  
[   ] agda-stdlib_0.3-1ubuntu2.diff.gz  2010-02-16 13:04  3.6K  
[   ] agda-stdlib-doc_0.7-2_all.deb     2013-05-27 23:33  1.7M