Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 agda-bin_2.6.0.1-1build4_amd64.deb        2020-02-08 14:19  6.3M  
 agda-bin_2.6.1-1build2.1_amd64.deb        2021-09-16 10:28  9.1M  
 agda-mode_2.6.0.1-1build4_all.deb         2020-02-08 14:19  3.6K  
 agda_2.6.0.1-1build4.debian.tar.xz        2020-02-08 12:38   10K  
 agda_2.6.0.1-1build4.dsc                  2020-02-08 12:38  4.2K  
 agda_2.6.0.1-1build4_all.deb              2020-02-08 14:19  4.0K  
 agda_2.6.0.1.orig.tar.gz                  2019-09-01 14:43  2.3M  
 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  
 elpa-agda2-mode_2.6.0.1-1build4_all.deb   2020-02-08 14:19   40K  
 elpa-agda2-mode_2.6.1-1build2.1_all.deb   2021-09-16 10:28   45K  
 libghc-agda-dev_2.6.0.1-1build4_amd64.deb 2020-02-08 14:19   19M  
 libghc-agda-dev_2.6.1-1build2.1_amd64.deb 2021-09-16 10:28   38M  
 libghc-agda-doc_2.6.0.1-1build4_all.deb   2020-02-08 14:19  4.0M  
 libghc-agda-doc_2.6.1-1build2.1_all.deb   2021-09-16 10:28  5.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