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         2023-08-25 00:01  1.2M  
      agda-stdlib-doc_0.14-1_all.deb         2023-08-25 00:01  1.0M  
      agda-stdlib-doc_0.7-2_all.deb          2023-08-25 00:01  1.7M  
      agda-stdlib-doc_1.1-1_all.deb          2023-08-25 00:01  1.8M  
      agda-stdlib-doc_1.3-2_all.deb          2023-08-25 00:01  2.3M  
      agda-stdlib-doc_1.7.3-1_all.deb        2023-11-12 23:17  2.8M  
      agda-stdlib-doc_2.1-4_all.deb          2024-11-25 20:29  3.5M  
      agda-stdlib-doc_2.1-4build1_all.deb    2025-11-01 20:55  3.5M  
      agda-stdlib_0.11-1.debian.tar.xz       2025-05-14 04:05  4.5K  
      agda-stdlib_0.11-1.dsc                 2025-05-14 04:05  2.1K  
      agda-stdlib_0.11-1_all.deb             2023-08-25 00:01   17M  
      agda-stdlib_0.11.orig.tar.gz           2025-05-14 04:05  247K  
      agda-stdlib_0.14-1.debian.tar.xz       2025-05-14 04:05  5.1K  
      agda-stdlib_0.14-1.dsc                 2025-05-14 04:05  2.1K  
      agda-stdlib_0.14-1_all.deb             2023-08-25 00:01   17M  
      agda-stdlib_0.14.orig.tar.gz           2025-05-14 04:05  279K  
      agda-stdlib_0.7-2.debian.tar.gz        2025-05-14 04:06  4.4K  
      agda-stdlib_0.7-2.dsc                  2025-05-14 04:06  2.0K  
      agda-stdlib_0.7-2_all.deb              2023-08-25 00:01   17M  
      agda-stdlib_0.7.orig.tar.gz            2025-05-14 04:06  221K  
      agda-stdlib_1.1-1.debian.tar.xz        2025-05-14 04:06  5.4K  
      agda-stdlib_1.1-1.dsc                  2025-05-14 04:06  2.1K  
      agda-stdlib_1.1-1_all.deb              2023-08-25 00:01   45M  
      agda-stdlib_1.1.orig.tar.gz            2025-05-14 04:06  557K  
      agda-stdlib_1.3-2.debian.tar.xz        2025-05-14 04:06  5.5K  
      agda-stdlib_1.3-2.dsc                  2025-05-14 04:06  2.1K  
      agda-stdlib_1.3-2_all.deb              2023-08-25 00:01   70M  
      agda-stdlib_1.3.orig.tar.gz            2025-05-14 04:06  734K  
      agda-stdlib_1.7.3-1.debian.tar.xz      2025-05-14 04:06  5.6K  
      agda-stdlib_1.7.3-1.dsc                2025-05-14 04:06  2.1K  
      agda-stdlib_1.7.3-1_all.deb            2023-11-12 23:17  115M  
      agda-stdlib_1.7.3.orig.tar.gz          2025-05-14 04:06  920K  
      agda-stdlib_2.1-4.debian.tar.xz        2025-05-14 04:06  5.9K  
      agda-stdlib_2.1-4.dsc                  2025-05-14 04:06  2.2K  
      agda-stdlib_2.1-4_all.deb              2024-11-25 20:29  140M  
      agda-stdlib_2.1-4build1.debian.tar.xz  2025-11-01 14:07  6.0K  
      agda-stdlib_2.1-4build1.dsc            2025-11-01 14:07  2.2K  
      agda-stdlib_2.1-4build1_all.deb        2025-11-01 20:56  140M  
      agda-stdlib_2.1.orig.tar.gz            2025-05-14 04:06  1.2M