../ agda-bin_2.6.3-1build1_amd64.deb 10-Nov-2023 20:19 10M agda_2.6.3-1build1.debian.tar.xz 08-Nov-2023 09:36 11K 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 2M elpa-agda2-mode_2.6.3-1build1_all.deb 10-Nov-2023 20:19 45K libghc-agda-dev_2.6.3-1build1_amd64.deb 10-Nov-2023 20:19 24M libghc-agda-doc_2.6.3-1build1_all.deb 10-Nov-2023 20:19 6M