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


../
agda-bin_2.6.0.1-1+b1_powerpc.deb                  29-Jan-2020 06:03             6069176
agda_2.6.0.1-1+b1_powerpc.buildinfo                29-Jan-2020 06:03               11783
libghc-agda-dev_2.6.0.1-1+b1_powerpc.deb           29-Jan-2020 06:03            19625916