../ agda-bin_2.6.3-1+b1_hurd-i386.deb 26-Nov-2023 03:03 10M agda_2.6.3-1+b1_hurd-i386.buildinfo 26-Nov-2023 03:03 15K libghc-agda-dev_2.6.3-1+b1_hurd-i386.deb 26-Nov-2023 03:03 22M