../ agda-bin_2.6.3-1build1_amd64.deb 16-May-2025 02:16 10985550 agda_2.6.3-1build1_all.deb 16-May-2025 02:24 3758 elpa-agda2-mode_2.6.3-1build1_all.deb 16-May-2025 02:25 46250 libghc-agda-dev_2.6.3-1build1_amd64.deb 16-May-2025 02:06 25485196 libghc-agda-doc_2.6.3-1build1_all.deb 16-May-2025 01:53 6288876