Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 agda-bin_2.6.3-1+b1_i386.deb         2024-04-13 21:29   15M  
 agda-bin_2.6.3-1+b2_arm64.deb        2024-04-13 22:10  9.8M  
 agda-bin_2.6.3-1+b3_amd64.deb        2024-04-13 19:30  9.8M  
 agda_2.6.3-1.debian.tar.xz           2023-10-13 17:34   11K  
 agda_2.6.3-1.dsc                     2023-10-13 17:34  4.8K  
 agda_2.6.3-1_all.deb                 2023-10-13 18:30   20K  
 agda_2.6.3.orig.tar.gz               2023-10-13 17:34  1.7M  
 elpa-agda2-mode_2.6.3-1_all.deb      2023-10-13 18:30   58K  
 libghc-agda-dev_2.6.3-1+b1_i386.deb  2024-04-13 21:29   37M  
 libghc-agda-dev_2.6.3-1+b2_arm64.deb 2024-04-13 22:10   24M  
 libghc-agda-dev_2.6.3-1+b3_amd64.deb 2024-04-13 19:30   23M  
 libghc-agda-doc_2.6.3-1_all.deb      2023-10-13 18:30  6.6M  

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