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

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]agda-mode_2.5.4.1-3_all.deb2018-10-20 21:57 115K
[   ]agda-mode_2.6.0.1-1_all.deb2019-08-31 16:34 128K
[   ]agda_2.5.4.1-3_all.deb2018-10-20 21:57 115K
[   ]agda_2.6.0.1-1_all.deb2019-08-31 16:34 128K
[   ]elpa-agda2-mode_2.5.4.1-3_all.deb2018-10-20 21:57 152K
[   ]elpa-agda2-mode_2.6.0.1-1_all.deb2019-08-31 16:34 165K
[   ]libghc-agda-doc_2.5.4.1-3_all.deb2018-10-20 21:57 3.6M
[   ]libghc-agda-doc_2.6.0.1-1_all.deb2019-08-31 16:34 4.1M

Apache Server at ftp.ports.debian.org Port 80