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


../
agda-bin_2.5.4.1-3+b1_ia64.deb                     30-Jul-2019 00:03            14119968
agda_2.5.4.1-3+b1_ia64.buildinfo                   30-Jul-2019 00:03               10267
libghc-agda-dev_2.5.4.1-3+b1_ia64.deb              30-Jul-2019 00:03            30302636