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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] agda-stdlib-doc_0.3-3_all.deb    2010-03-03 12:32  1.1M  
[   ] agda-stdlib-doc_0.6-2_all.deb    2012-03-14 10:47  1.6M  
[   ] agda-stdlib-doc_0.8-2_all.deb    2014-08-12 11:40  1.2M  
[   ] agda-stdlib-doc_0.12-2_all.deb   2016-06-23 20:55  1.2M  
[   ] agda-stdlib_0.3-3.diff.gz        2010-03-03 12:32  3.7K  
[TXT] agda-stdlib_0.3-3.dsc            2010-03-03 12:32  1.2K  
[   ] agda-stdlib_0.3-3_amd64.deb      2010-03-03 12:32   12M  
[   ] agda-stdlib_0.3-3_i386.deb       2010-03-03 18:17   12M  
[   ] agda-stdlib_0.3.orig.tar.gz      2010-02-05 18:17  147K  
[   ] agda-stdlib_0.6-2.debian.tar.gz  2012-03-14 10:47  4.1K  
[TXT] agda-stdlib_0.6-2.dsc            2012-03-14 10:47  1.4K  
[   ] agda-stdlib_0.6-2_all.deb        2012-03-14 10:47   16M  
[   ] agda-stdlib_0.6.orig.tar.gz      2011-12-30 21:47  211K  
[   ] agda-stdlib_0.8-2.debian.tar.xz  2014-08-12 11:40  4.4K  
[TXT] agda-stdlib_0.8-2.dsc            2014-08-12 11:40  2.0K  
[   ] agda-stdlib_0.8-2_all.deb        2014-08-12 11:40   22M  
[   ] agda-stdlib_0.8.orig.tar.gz      2014-08-05 11:28  240K  
[   ] agda-stdlib_0.12-2.debian.tar.xz 2016-06-23 19:53  4.9K  
[TXT] agda-stdlib_0.12-2.dsc           2016-06-23 19:53  2.1K  
[   ] agda-stdlib_0.12-2_all.deb       2016-06-23 20:55   16M  
[   ] agda-stdlib_0.12.orig.tar.gz     2016-06-20 10:47  248K