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


../
agda-bin_2.6.0.1-1+b2_riscv64.deb                  31-Jan-2020 18:03            18258888
agda_2.6.0.1-1+b2_riscv64.buildinfo                31-Jan-2020 18:03               11815
libghc-agda-dev_2.6.0.1-1+b2_riscv64.deb           31-Jan-2020 18:03            44141268