Index of /stable/debian-6-official-release/pool/main/a/agda/

../
agda-mode_2.2.6-7_all.deb                          21-Jan-2020 11:42               40062
libghc6-agda-dev_2.2.6-7_amd64.deb                 21-Jan-2020 11:39            10055274
libghc6-agda-dev_2.2.6-7_i386.deb                  21-Jan-2020 16:52             9525040
libghc6-agda-doc_2.2.6-7_all.deb                   21-Jan-2020 11:36             1096992