Index of /ubuntu/pool/universe/a/agda/

../
agda-bin_2.6.3-1build1_amd64.deb                   04-Mar-2026 09:29     10M
agda-bin_2.8.0-2build1_amd64.deb                   22-Jul-2026 18:28     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
agda_2.8.0-2build1.debian.tar.xz                   22-Jul-2026 18:28     10K
agda_2.8.0-2build1.dsc                             22-Jul-2026 18:28    5934
agda_2.8.0-2build1_all.deb                         22-Jul-2026 18:28    2892
agda_2.8.0.orig.tar.gz                             22-Jul-2026 18:28      2M
elpa-agda2-mode_2.6.3-1build1_all.deb              04-Mar-2026 09:29     45K
elpa-agda2-mode_2.8.0-2build1_all.deb              22-Jul-2026 18:28     47K
libghc-agda-dev_2.6.3-1build1_amd64.deb            04-Mar-2026 09:29     24M
libghc-agda-dev_2.8.0-2build1_amd64.deb            22-Jul-2026 18:28     37M
libghc-agda-doc_2.6.3-1build1_all.deb              04-Mar-2026 09:29      6M
libghc-agda-doc_2.8.0-2build1_all.deb              22-Jul-2026 18:28      6M