Index of /pub/linux/mirrors/debian/pool/main/a/agda-stdlib

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 agda-stdlib-doc_0.17-1_all.deb         2018-11-24 01:48  1.3M  
 agda-stdlib-doc_1.3-2_all.deb          2020-08-01 13:34  2.3M  
 agda-stdlib-doc_1.7.1-1_all.deb        2022-08-06 18:46  2.9M  
 agda-stdlib-doc_1.7.3-1_all.deb        2023-11-04 12:59  2.9M  
 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_1.3-2.debian.tar.xz        2020-08-01 12:54  5.5K  
 agda-stdlib_1.3-2.dsc                  2020-08-01 12:54  2.1K  
 agda-stdlib_1.3-2_all.deb              2020-08-01 13:34   70M  
 agda-stdlib_1.3.orig.tar.gz            2020-07-31 11:50  734K  
 agda-stdlib_1.7.1-1.debian.tar.xz      2022-08-06 17:10  5.5K  
 agda-stdlib_1.7.1-1.dsc                2022-08-06 17:10  2.1K  
 agda-stdlib_1.7.1-1_all.deb            2022-08-06 18:46   95M  
 agda-stdlib_1.7.1.orig.tar.gz          2022-08-06 17:10  918K  
 agda-stdlib_1.7.3-1.debian.tar.xz      2023-11-04 12:33  5.6K  
 agda-stdlib_1.7.3-1.dsc                2023-11-04 12:33  2.1K  
 agda-stdlib_1.7.3-1_all.deb            2023-11-04 12:59  112M  
 agda-stdlib_1.7.3.orig.tar.gz          2023-11-04 12:33  920K