Index of /debian-ports/pool/main/a/agda

Icon  Name                              Last modified      Size  Description
[DIR] Parent Directory                                       -   
[   ] agda-mode_2.5.4.1-3_all.deb       20-Oct-2018 23:57  115K  
[   ] agda-mode_2.6.0.1-1_all.deb       31-Aug-2019 18:34  128K  
[   ] agda_2.5.4.1-3_all.deb            20-Oct-2018 23:57  115K  
[   ] agda_2.6.0.1-1_all.deb            31-Aug-2019 18:34  128K  
[   ] elpa-agda2-mode_2.5.4.1-3_all.deb 20-Oct-2018 23:57  152K  
[   ] elpa-agda2-mode_2.6.0.1-1_all.deb 31-Aug-2019 18:34  165K  
[   ] libghc-agda-doc_2.5.4.1-3_all.deb 20-Oct-2018 23:57  3.6M  
[   ] libghc-agda-doc_2.6.0.1-1_all.deb 31-Aug-2019 18:34  4.1M
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80