Index of /mirrors/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 19: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 10:40  1.2M  
      agda-stdlib-doc_1.1-1_all.deb           2019-09-13 16:47  1.8M  
      agda-stdlib-doc_1.3-2_all.deb           2020-08-01 14:34  2.3M  
      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  
      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_1.1-1.debian.tar.xz         2019-09-04 14:26  5.4K  
      agda-stdlib_1.1-1.dsc                   2019-09-04 14:26  2.1K  
      agda-stdlib_1.1-1_all.deb               2019-09-13 16:47   45M  
      agda-stdlib_1.1.orig.tar.gz             2019-09-04 14:26  557K  
      agda-stdlib_1.3-2.debian.tar.xz         2020-08-01 13:54  5.5K  
      agda-stdlib_1.3-2.dsc                   2020-08-01 13:54  2.1K  
      agda-stdlib_1.3-2_all.deb               2020-08-01 14:34   70M  
      agda-stdlib_1.3.orig.tar.gz             2020-07-31 12:50  734K