../ agda-bin_2.6.4.3-1_loong64.deb 22-Sep-2025 09:09 13785512 agda_2.6.4.3-1.debian.tar.xz 22-Sep-2025 09:09 10452 agda_2.6.4.3-1.dsc 22-Sep-2025 09:09 4285 agda_2.6.4.3-1_all.deb 22-Sep-2025 09:09 4120 agda_2.6.4.3.orig.tar.gz 22-Sep-2025 09:09 1869461 elpa-agda2-mode_2.6.4.3-1_all.deb 22-Sep-2025 09:09 43284 libghc-agda-dev_2.6.4.3-1_loong64.deb 22-Sep-2025 09:09 46238588 libghc-agda-doc_2.6.4.3-1_all.deb 22-Sep-2025 09:09 7479984