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

../
agda-bin_2.6.4.3-1_ppc64.deb                       08-Oct-2024 18:03             9398744
agda_2.6.4.3-1_ppc64.buildinfo                     08-Oct-2024 18:03               15367
libghc-agda-dev_2.6.4.3-1_ppc64.deb                08-Oct-2024 18:03            29315472