../ agda-bin_2.6.1-1+b3_hppa.deb 05-Oct-2021 18:03 16110172 agda_2.6.1-1+b3_hppa.buildinfo 05-Oct-2021 18:03 11888 libghc-agda-dev_2.6.1-1+b3_hppa.deb 05-Oct-2021 18:03 70721004