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_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.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