../ agda-bin_2.6.3-1build1_amd64.deb 10-Nov-2023 20:19 10985550 agda_2.6.3-1build1.debian.tar.xz 08-Nov-2023 09:36 11628 agda_2.6.3-1build1.dsc 08-Nov-2023 09:36 4939 agda_2.6.3-1build1_all.deb 10-Nov-2023 20:19 3758 agda_2.6.3.orig.tar.gz 26-Oct-2023 15:43 1794269 elpa-agda2-mode_2.6.3-1build1_all.deb 10-Nov-2023 20:19 46250 libghc-agda-dev_2.6.3-1build1_amd64.deb 10-Nov-2023 20:19 25485196 libghc-agda-doc_2.6.3-1build1_all.deb 10-Nov-2023 20:19 6288876