Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 agda-bin_2.6.1-1build2.1_amd64.deb        2021-09-16 10:28  9.1M  
 agda-bin_2.6.3-1build1_amd64.deb          2023-11-10 21:19   10M  
 agda-bin_2.8.0-2build1_amd64.deb          2026-03-01 20:50   10M  
 agda_2.6.1-1build2.1.debian.tar.xz        2021-09-16 09:39   10K  
 agda_2.6.1-1build2.1.dsc                  2021-09-16 09:39  4.2K  
 agda_2.6.1-1build2.1_all.deb              2021-09-16 10:28  4.0K  
 agda_2.6.1.orig.tar.gz                    2020-07-30 01:19  2.5M  
 agda_2.6.3-1build1.debian.tar.xz          2023-11-08 10:36   11K  
 agda_2.6.3-1build1.dsc                    2023-11-08 10:36  4.8K  
 agda_2.6.3-1build1_all.deb                2023-11-10 21:19  3.7K  
 agda_2.6.3.orig.tar.gz                    2023-10-26 17:43  1.7M  
 agda_2.8.0-2build1.debian.tar.xz          2026-03-01 20:49   10K  
 agda_2.8.0-2build1.dsc                    2026-03-01 20:49  5.8K  
 agda_2.8.0-2build1_all.deb                2026-03-01 20:50  2.8K  
 agda_2.8.0.orig.tar.gz                    2026-02-15 07:16  1.9M  
 elpa-agda2-mode_2.6.1-1build2.1_all.deb   2021-09-16 10:28   45K  
 elpa-agda2-mode_2.6.3-1build1_all.deb     2023-11-10 21:19   45K  
 elpa-agda2-mode_2.8.0-2build1_all.deb     2026-03-01 20:50   47K  
 libghc-agda-dev_2.6.1-1build2.1_amd64.deb 2021-09-16 10:28   38M  
 libghc-agda-dev_2.6.3-1build1_amd64.deb   2023-11-10 21:19   24M  
 libghc-agda-dev_2.8.0-2build1_amd64.deb   2026-03-01 20:50   37M  
 libghc-agda-doc_2.6.1-1build2.1_all.deb   2021-09-16 10:28  5.2M  
 libghc-agda-doc_2.6.3-1build1_all.deb     2023-11-10 21:19  6.0M  
 libghc-agda-doc_2.8.0-2build1_all.deb     2026-03-01 20:50  6.5M  

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