Index of /pub/linux/raspbian/raspbian/pool/main/a/agda-stdlib

 Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 agda-stdlib-doc_0.12-2_all.deb            2016-06-23 18:55  1.2M  
 agda-stdlib-doc_0.17-1_all.deb            2018-11-24 01:48  1.3M  
 agda-stdlib-doc_0.8-2_all.deb             2014-08-12 09:40  1.2M  
 agda-stdlib-doc_1.1-1_all.deb             2019-09-13 15:47  1.8M  
 agda-stdlib_0.12-2.debian.tar.xz          2016-06-23 17:53  4.9K  
 agda-stdlib_0.12-2.dsc                    2016-06-23 17:53  2.1K  
 agda-stdlib_0.12-2_all.deb                2016-06-23 18:55   16M  
 agda-stdlib_0.12.orig.tar.gz              2016-06-20 08: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  
 agda-stdlib_0.8-2.debian.tar.xz           2014-08-12 09:40  4.4K  
 agda-stdlib_0.8-2.dsc                     2014-08-12 09:40  2.0K  
 agda-stdlib_0.8-2_all.deb                 2014-08-12 09:40   22M  
 agda-stdlib_0.8.orig.tar.gz               2014-08-05 09:28  240K  
 agda-stdlib_1.1-1.debian.tar.xz           2019-09-04 13:26  5.4K  
 agda-stdlib_1.1-1.dsc                     2019-09-04 13:26  2.1K  
 agda-stdlib_1.1-1_all.deb                 2019-09-13 15:47   45M  
 agda-stdlib_1.1.orig.tar.gz               2019-09-04 13:26  557K