Index of /pub/gnu_linux/ubuntu/pool/universe/a/agda-stdlib

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