../ agda-bin_2.6.1-1+b1_m68k.deb 02-Jan-2022 13:56 10834620 agda_2.6.1-1+b1_m68k.buildinfo 02-Jan-2022 13:56 11768 libghc-agda-dev_2.6.1-1+b1_m68k.deb 02-Jan-2022 13:56 61665752