../ agda-bin_2.6.4.3-1_powerpc.deb 25-Feb-2025 18:03 13M agda_2.6.4.3-1_powerpc.buildinfo 25-Feb-2025 18:03 15K libghc-agda-dev_2.6.4.3-1_powerpc.deb 25-Feb-2025 18:03 32M