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

 Name                                Last modified      Size  
 Parent Directory                                         -   
 agda-stdlib-doc_0.3-3_all.deb       2010-03-03 05:32  1.1M  
 agda-stdlib-doc_0.6-2_all.deb       2012-03-14 04:47  1.6M  
 agda-stdlib-doc_0.8-2_all.deb       2014-08-12 04:40  1.2M  
 agda-stdlib-doc_0.12-2_all.deb      2016-06-23 13:55  1.2M  
 agda-stdlib-doc_0.17-1_all.deb      2018-11-23 19:48  1.3M  
 agda-stdlib_0.3-3.diff.gz           2010-03-03 05:32  3.7K  
 agda-stdlib_0.3-3.dsc               2010-03-03 05:32  1.2K  
 agda-stdlib_0.3-3_amd64.deb         2010-03-03 05:32   12M  
 agda-stdlib_0.3-3_i386.deb          2010-03-03 11:17   12M  
 agda-stdlib_0.3-3_kfreebsd-i386.deb 2010-03-03 09:32   11M  
 agda-stdlib_0.3-3_powerpc.deb       2010-03-03 18:17   12M  
 agda-stdlib_0.3-3_sparc.deb         2010-03-12 18:17   12M  
 agda-stdlib_0.3.orig.tar.gz         2010-02-05 11:17  147K  
 agda-stdlib_0.6-2.debian.tar.gz     2012-03-14 04:47  4.1K  
 agda-stdlib_0.6-2.dsc               2012-03-14 04:47  1.4K  
 agda-stdlib_0.6-2_all.deb           2012-03-14 04:47   16M  
 agda-stdlib_0.6.orig.tar.gz         2011-12-30 14:47  211K  
 agda-stdlib_0.8-2.debian.tar.xz     2014-08-12 04:40  4.4K  
 agda-stdlib_0.8-2.dsc               2014-08-12 04:40  2.0K  
 agda-stdlib_0.8-2_all.deb           2014-08-12 04:40   22M  
 agda-stdlib_0.8.orig.tar.gz         2014-08-05 04:28  240K  
 agda-stdlib_0.12-2.debian.tar.xz    2016-06-23 12:53  4.9K  
 agda-stdlib_0.12-2.dsc              2016-06-23 12:53  2.1K  
 agda-stdlib_0.12-2_all.deb          2016-06-23 13:55   16M  
 agda-stdlib_0.12.orig.tar.gz        2016-06-20 03:47  248K  
 agda-stdlib_0.17-1.debian.tar.xz    2018-11-23 19:07  5.2K  
 agda-stdlib_0.17-1.dsc              2018-11-23 19:07  2.2K  
 agda-stdlib_0.17-1_all.deb          2018-11-23 19:48   31M  
 agda-stdlib_0.17.orig.tar.gz        2018-11-23 19:07  388K