Index of /mirrors/ubuntu/pool/universe/a/agda-stdlib

      Name                              Last modified      Size  Description
      Parent Directory                                       -   
      agda-stdlib-doc_0.11-1_all.deb    2016-01-05 01:20  1.2M  
      agda-stdlib-doc_0.14-1_all.deb    2017-11-26 18:04  1.0M  
      agda-stdlib-doc_0.7-2_all.deb     2013-05-28 00:33  1.7M  
      agda-stdlib-doc_1.1-1_all.deb     2019-09-06 16:48  1.8M  
      agda-stdlib-doc_1.3-2_all.deb     2020-08-02 06:43  2.3M  
      agda-stdlib-doc_1.7.1-1_all.deb   2022-08-26 20:09  2.8M  
      agda-stdlib-doc_1.7.3-1_all.deb   2023-11-10 23:50  2.8M  
      agda-stdlib-doc_2.1-3_all.deb     2024-10-31 19:19  3.4M  
      agda-stdlib_0.11-1.debian.tar.xz  2016-01-04 23:25  4.5K  
      agda-stdlib_0.11-1.dsc            2016-01-04 23:25  2.1K  
      agda-stdlib_0.11-1_all.deb        2016-01-05 01:20   17M  
      agda-stdlib_0.11.orig.tar.gz      2016-01-04 23:25  247K  
      agda-stdlib_0.14-1.debian.tar.xz  2017-11-26 17:08  5.1K  
      agda-stdlib_0.14-1.dsc            2017-11-26 17:08  2.1K  
      agda-stdlib_0.14-1_all.deb        2017-11-26 18:04   17M  
      agda-stdlib_0.14.orig.tar.gz      2017-11-26 11:14  279K  
      agda-stdlib_0.7-2.debian.tar.gz   2013-05-28 00:33  4.4K  
      agda-stdlib_0.7-2.dsc             2013-05-28 00:33  2.0K  
      agda-stdlib_0.7-2_all.deb         2013-05-28 00:33   17M  
      agda-stdlib_0.7.orig.tar.gz       2013-04-10 19:03  221K  
      agda-stdlib_1.1-1.debian.tar.xz   2019-09-06 16:48  5.4K  
      agda-stdlib_1.1-1.dsc             2019-09-06 16:48  2.1K  
      agda-stdlib_1.1-1_all.deb         2019-09-06 16:48   45M  
      agda-stdlib_1.1.orig.tar.gz       2019-09-04 14:38  557K  
      agda-stdlib_1.3-2.debian.tar.xz   2020-08-02 06:13  5.5K  
      agda-stdlib_1.3-2.dsc             2020-08-02 06:13  2.1K  
      agda-stdlib_1.3-2_all.deb         2020-08-02 06:43   70M  
      agda-stdlib_1.3.orig.tar.gz       2020-08-02 00:33  734K  
      agda-stdlib_1.7.1-1.debian.tar.xz 2022-08-07 00:19  5.5K  
      agda-stdlib_1.7.1-1.dsc           2022-08-07 00:19  2.1K  
      agda-stdlib_1.7.1-1_all.deb       2022-08-26 20:09   98M  
      agda-stdlib_1.7.1.orig.tar.gz     2022-08-07 00:19  918K  
      agda-stdlib_1.7.3-1.debian.tar.xz 2023-11-04 18:15  5.6K  
      agda-stdlib_1.7.3-1.dsc           2023-11-04 18:15  2.1K  
      agda-stdlib_1.7.3-1_all.deb       2023-11-10 23:50  115M  
      agda-stdlib_1.7.3.orig.tar.gz     2023-11-04 18:15  920K  
      agda-stdlib_2.1-3.debian.tar.xz   2024-10-31 17:16  5.9K  
      agda-stdlib_2.1-3.dsc             2024-10-31 17:16  2.2K  
      agda-stdlib_2.1-3_all.deb         2024-10-31 19:19  136M  
      agda-stdlib_2.1.orig.tar.gz       2024-10-31 17:16  1.2M