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

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