../ agda-bin_2.6.1-1+b1_ia64.deb 22-Sep-2020 00:03 23083744 agda_2.6.1-1+b1_ia64.buildinfo 22-Sep-2020 00:03 12373 libghc-agda-dev_2.6.1-1+b1_ia64.deb 22-Sep-2020 00:03 69128580