../ agda-bin_2.6.4.3-1+b2_amd64.deb 01-May-2026 11:53 9846396 agda-bin_2.6.4.3-1+b2_arm64.deb 01-May-2026 11:32 9868676 agda_2.6.4.3-1_all.deb 01-May-2026 11:56 12148 elpa-agda2-mode_2.6.4.3-1_all.deb 01-May-2026 11:47 51316 libghc-agda-dev_2.6.4.3-1+b2_amd64.deb 01-May-2026 12:07 22821040 libghc-agda-dev_2.6.4.3-1+b2_arm64.deb 01-May-2026 11:59 24469636 libghc-agda-doc_2.6.4.3-1_all.deb 01-May-2026 11:33 7489680