Name                              Last modified      Size  Description
 Parent Directory                                       -   
 agda-bin_2.8.0-2_amd64.deb        2026-02-15 16:07  9.8M  
 agda-bin_2.8.0-2_arm64.deb        2026-02-15 16:07  9.9M  
 agda-bin_2.8.0-2_i386.deb         2026-02-15 16:07  9.7M  
 agda_2.8.0-2.debian.tar.xz        2026-02-15 15:11   10K  
 agda_2.8.0-2.dsc                  2026-02-15 15:11  5.8K  
 agda_2.8.0-2_all.deb              2026-02-15 16:07   17K  
 agda_2.8.0.orig.tar.gz            2026-02-14 18:37  1.9M  
 elpa-agda2-mode_2.8.0-2_all.deb   2026-02-15 16:07   56K  
 libghc-agda-dev_2.8.0-2_amd64.deb 2026-02-15 16:07   36M  
 libghc-agda-dev_2.8.0-2_arm64.deb 2026-02-15 16:07   38M  
 libghc-agda-dev_2.8.0-2_i386.deb  2026-02-15 16:07   36M  
 libghc-agda-doc_2.8.0-2_all.deb   2026-02-15 16:07  7.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