Index of /sites/ftp.uk.debian.org/debian/pool/main/a/agda-stdlib/

 Name                                         Last modified      Size  
 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 14:34  2.3M  
 agda-stdlib-doc_1.7.1-1_all.deb              2022-08-06 19:46  2.9M  
 agda-stdlib-doc_2.1-3_all.deb                2024-10-24 12:39  3.5M  
 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 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  
 agda-stdlib_1.7.1-1.debian.tar.xz            2022-08-06 18:10  5.5K  
 agda-stdlib_1.7.1-1.dsc                      2022-08-06 18:10  2.1K  
 agda-stdlib_1.7.1-1_all.deb                  2022-08-06 19:46   95M  
 agda-stdlib_1.7.1.orig.tar.gz                2022-08-06 18:10  918K  
 agda-stdlib_2.1-3.debian.tar.xz              2024-10-24 11:58  5.9K  
 agda-stdlib_2.1-3.dsc                        2024-10-24 11:58  2.2K  
 agda-stdlib_2.1-3_all.deb                    2024-10-24 12:39  133M  
 agda-stdlib_2.1.orig.tar.gz                  2024-10-18 22:34  1.2M