../ agda-bin_2.6.3-2_riscv64.deb 08-Sep-2024 17:23 11M agda_2.6.3-2.debian.tar.xz 08-Sep-2024 17:43 11K agda_2.6.3-2.dsc 08-Sep-2024 17:43 4945 agda_2.6.3-2_all.deb 08-Sep-2024 17:33 20K agda_2.6.3.orig.tar.gz 15-May-2024 11:25 2M elpa-agda2-mode_2.6.3-2_all.deb 08-Sep-2024 17:46 58K libghc-agda-dev_2.6.3-2_riscv64.deb 08-Sep-2024 17:50 37M libghc-agda-doc_2.6.3-2_all.deb 08-Sep-2024 16:44 7M