../ agda-bin_2.6.3-1build1_amd64.deb 04-Mar-2026 09:29 10M agda_2.6.3-1build1.debian.tar.xz 04-Mar-2026 09:29 11K agda_2.6.3-1build1.dsc 04-Mar-2026 09:29 4939 agda_2.6.3-1build1_all.deb 04-Mar-2026 09:29 3758 agda_2.6.3.orig.tar.gz 04-Mar-2026 09:29 2M elpa-agda2-mode_2.6.3-1build1_all.deb 04-Mar-2026 09:29 45K libghc-agda-dev_2.6.3-1build1_amd64.deb 04-Mar-2026 09:29 24M libghc-agda-doc_2.6.3-1build1_all.deb 04-Mar-2026 09:29 6M