Name                              Last modified      Size  Description
 Parent Directory                                       -   
 agda-stdlib-doc_1.3-2_all.deb     2020-08-02 07:43  2.3M  
 agda-stdlib-doc_1.7.3-1_all.deb   2023-11-11 00:50  2.8M  
 agda-stdlib-doc_2.3-1_all.deb     2026-02-19 01:05  3.6M  
 agda-stdlib_1.3-2.debian.tar.xz   2020-08-02 07:13  5.5K  
 agda-stdlib_1.3-2.dsc             2020-08-02 07:13  2.1K  
 agda-stdlib_1.3-2_all.deb         2020-08-02 07:43   70M  
 agda-stdlib_1.3.orig.tar.gz       2020-08-02 01:33  734K  
 agda-stdlib_1.7.3-1.debian.tar.xz 2023-11-04 19:15  5.6K  
 agda-stdlib_1.7.3-1.dsc           2023-11-04 19:15  2.1K  
 agda-stdlib_1.7.3-1_all.deb       2023-11-11 00:50  115M  
 agda-stdlib_1.7.3.orig.tar.gz     2023-11-04 19:15  920K  
 agda-stdlib_2.3-1.debian.tar.xz   2026-02-16 02:34  5.9K  
 agda-stdlib_2.3-1.dsc             2026-02-16 02:34  2.2K  
 agda-stdlib_2.3-1_all.deb         2026-02-19 01:06  149M  
 agda-stdlib_2.3.orig.tar.gz       2026-02-16 02:34  1.2M  

This mirror is hosted by Funkfreunde Landshut e.V. We are the first mirror ever present in Hamnet / AMPRNet. In case you are missing anything or have a question drop us an email at click to see address.

Current mirror size: GB. Mirror health