../ agda-bin_2.6.3-1build1_amd64.deb 11-Nov-2023 04:19 10M agda_2.6.3-1build1.debian.tar.xz 08-Nov-2023 17:36 11K agda_2.6.3-1build1.dsc 08-Nov-2023 17:36 4939 agda_2.6.3-1build1_all.deb 11-Nov-2023 04:19 3758 agda_2.6.3.orig.tar.gz 26-Oct-2023 23:43 2M elpa-agda2-mode_2.6.3-1build1_all.deb 11-Nov-2023 04:19 45K libghc-agda-dev_2.6.3-1build1_amd64.deb 11-Nov-2023 04:19 24M libghc-agda-doc_2.6.3-1build1_all.deb 11-Nov-2023 04:19 6M