../ agda-bin_2.2.6-1+b1_i386.deb 26-Apr-2023 10:34 3M agda-bin_2.2.6-1.diff.gz 26-Apr-2023 10:34 2449 agda-bin_2.2.6-1.dsc 26-Apr-2023 10:34 1329 agda-bin_2.2.6.orig.tar.gz 26-Apr-2023 10:34 1681