../ agda-bin_2.6.3-1+b2_riscv64.deb 22-Apr-2024 13:57 11M agda_2.6.3-1.debian.tar.xz 15-May-2024 11:25 11K agda_2.6.3-1.dsc 15-May-2024 11:25 4944 agda_2.6.3-1_all.deb 22-Apr-2024 14:03 20K agda_2.6.3.orig.tar.gz 15-May-2024 11:25 2M elpa-agda2-mode_2.6.3-1_all.deb 22-Apr-2024 14:06 58K libghc-agda-dev_2.6.3-1+b2_riscv64.deb 22-Apr-2024 14:24 37M libghc-agda-doc_2.6.3-1_all.deb 22-Apr-2024 13:50 7M