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

../
agda-bin_2.6.1-1+b3_powerpc.deb                                                                                          04-Oct-2021 06:03      8M
agda_2.6.1-1+b3_powerpc.buildinfo                                                                                        04-Oct-2021 06:03     12K
libghc-agda-dev_2.6.1-1+b3_powerpc.deb                                                                                   04-Oct-2021 06:03     37M