Index of /freexian/extended-lts/pool/main/a/agda
Name Last modified Size Description
Parent Directory -
agda-bin_2.5.4.1-3+b1_amd64.deb 2024-10-28 11:17 5.6M
agda-bin_2.5.4.1-3+b1_i386.deb 2024-10-28 11:17 5.7M
agda-mode_2.5.4.1-3_all.deb 2024-10-28 11:17 115K
agda_2.5.4.1-3_all.deb 2024-10-28 11:17 115K
elpa-agda2-mode_2.5.4.1-3_all.deb 2024-10-28 11:17 152K
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb 2024-10-28 11:17 16M
libghc-agda-dev_2.5.4.1-3+b1_i386.deb 2024-10-28 11:17 16M
libghc-agda-doc_2.5.4.1-3_all.deb 2024-10-28 11:17 3.6M
Apache Server at ftp.thm.de Port 443