../ agda-bin_2.6.3-1build1_amd64.deb 23-Dec-2024 15:32 10985550 agda_2.6.3-1build1_all.deb 23-Dec-2024 19:25 3758 elpa-agda2-mode_2.6.3-1build1_all.deb 23-Dec-2024 12:41 46250 libghc-agda-dev_2.6.3-1build1_amd64.deb 23-Dec-2024 19:04 25485196 libghc-agda-doc_2.6.3-1build1_all.deb 23-Dec-2024 13:45 6288876