../ agda-bin_2.5.1.1-3+b3_i386.deb 26-Apr-2023 13:38 6M agda-mode_2.2.6-7_all.deb 26-Apr-2023 10:34 39K agda-mode_2.5.1.1-3_all.deb 26-Apr-2023 13:38 78K agda_2.2.6-7.debian.tar.gz 26-Apr-2023 10:34 5315 agda_2.2.6-7.dsc 26-Apr-2023 10:34 2294 agda_2.2.6.orig.tar.gz 26-Apr-2023 10:34 414K agda_2.5.1.1-3.debian.tar.xz 26-Apr-2023 13:38 9020 agda_2.5.1.1-3.dsc 26-Apr-2023 13:38 4210 agda_2.5.1.1-3_all.deb 26-Apr-2023 13:38 78K agda_2.5.1.1.orig.tar.gz 26-Apr-2023 13:38 1M elpa-agda2-mode_2.5.1.1-3_all.deb 26-Apr-2023 13:38 113K libghc-agda-dev_2.5.1.1-3+b3_i386.deb 26-Apr-2023 13:38 14M libghc-agda-doc_2.5.1.1-3_all.deb 26-Apr-2023 13:38 3M libghc6-agda-dev_2.2.6-7_i386.deb 26-Apr-2023 10:34 9M libghc6-agda-doc_2.2.6-7_all.deb 26-Apr-2023 10:34 1M