Index of /debian-ports/pool/main/a/agda
Name Last modified Size Description
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