../ agda-bin_2.4.2.5-1build1_amd64.deb 14-May-2025 19:12 4803616 agda-mode_2.4.2.5-1build1_all.deb 14-May-2025 16:21 37272 agda_2.4.2.5-1build1_all.deb 14-May-2025 10:04 2966 libghc-agda-dev_2.4.2.5-1build1_amd64.deb 14-May-2025 17:13 10670346 libghc-agda-doc_2.4.2.5-1build1_all.deb 14-May-2025 16:45 2184422