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


../
agda-bin_2.6.0.1-1+b1_ia64.deb                     30-Jan-2020 12:03            17089400
agda_2.6.0.1-1+b1_ia64.buildinfo                   30-Jan-2020 12:03               11877
libghc-agda-dev_2.6.0.1-1+b1_ia64.deb              30-Jan-2020 12:03            35904300