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


../
agda-bin_2.6.0.1-1+b1_riscv64.deb                  13-Sep-2019 18:03            18261612
agda_2.6.0.1-1+b1_riscv64.buildinfo                13-Sep-2019 18:03               11525
libghc-agda-dev_2.6.0.1-1+b1_riscv64.deb           13-Sep-2019 18:03            44130048