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

../
agda-bin_2.6.0.1-1build4_amd64.deb                 18-Dec-2024 03:23             6571852
agda-bin_2.6.1-1build2.1_amd64.deb                 18-Dec-2024 03:26             9541384
agda-mode_2.6.0.1-1build4_all.deb                  18-Dec-2024 03:23                3644
agda_2.6.0.1-1build4.debian.tar.xz                 18-Dec-2023 16:19               10220
agda_2.6.0.1-1build4.dsc                           18-Dec-2023 16:19                4293
agda_2.6.0.1-1build4_all.deb                       18-Dec-2024 03:23                4056
agda_2.6.0.1.orig.tar.gz                           18-Dec-2023 16:19             2372106
agda_2.6.1-1build2.1.debian.tar.xz                 18-Dec-2023 16:21               10232
agda_2.6.1-1build2.1.dsc                           18-Dec-2023 16:21                4293
agda_2.6.1-1build2.1_all.deb                       18-Dec-2024 03:26                4134
agda_2.6.1.orig.tar.gz                             18-Dec-2023 16:21             2646289
elpa-agda2-mode_2.6.0.1-1build4_all.deb            18-Dec-2024 03:23               41180
elpa-agda2-mode_2.6.1-1build2.1_all.deb            18-Dec-2024 03:26               46174
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          18-Dec-2024 03:24            19681864
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          18-Dec-2024 03:26            40255774
libghc-agda-doc_2.6.0.1-1build4_all.deb            18-Dec-2024 03:24             4206940
libghc-agda-doc_2.6.1-1build2.1_all.deb            18-Dec-2024 03:26             5403312