../ agda-bin_2.6.1-1+b1_ia64.deb 22-Sep-2020 00:03 22M agda_2.6.1-1+b1_ia64.buildinfo 22-Sep-2020 00:03 12K libghc-agda-dev_2.6.1-1+b1_ia64.deb 22-Sep-2020 00:03 66M