../ agda-bin_2.6.1-1+b3_hppa.deb 06-Oct-2021 03:03 15M agda_2.6.1-1+b3_hppa.buildinfo 06-Oct-2021 03:03 12K libghc-agda-dev_2.6.1-1+b3_hppa.deb 06-Oct-2021 03:03 67M