../ agda-bin_2.6.4.3-1+b2_amd64.deb 23-Aug-2025 03:13 9M agda-bin_2.6.4.3-1+b2_arm64.deb 24-Aug-2025 23:42 9M agda_2.6.4.3-1_all.deb 23-Aug-2025 03:13 12K elpa-agda2-mode_2.6.4.3-1_all.deb 23-Aug-2025 03:13 50K libghc-agda-dev_2.6.4.3-1+b2_amd64.deb 23-Aug-2025 03:15 22M libghc-agda-dev_2.6.4.3-1+b2_arm64.deb 24-Aug-2025 23:42 23M libghc-agda-doc_2.6.4.3-1_all.deb 23-Aug-2025 03:15 7M