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

../
agda-bin_2.6.0.1-1build4_amd64.deb                 25-Aug-2023 20:36             6571852
agda-bin_2.6.1-1build2.1_amd64.deb                 27-Aug-2023 01:57             9541384
agda-bin_2.6.3-1build1_amd64.deb                   20-Dec-2023 00:07            10985550
agda-mode_2.6.0.1-1build4_all.deb                  25-Aug-2023 20:36                3644
agda_2.6.0.1-1build4.debian.tar.xz                 25-Aug-2023 20:36               10220
agda_2.6.0.1-1build4.dsc                           25-Aug-2023 20:36                4293
agda_2.6.0.1-1build4_all.deb                       25-Aug-2023 20:36                4056
agda_2.6.0.1.orig.tar.gz                           25-Aug-2023 20:36             2372106
agda_2.6.1-1build2.1.debian.tar.xz                 27-Aug-2023 01:57               10232
agda_2.6.1-1build2.1.dsc                           27-Aug-2023 01:57                4293
agda_2.6.1-1build2.1_all.deb                       27-Aug-2023 01:57                4134
agda_2.6.1.orig.tar.gz                             27-Aug-2023 01:57             2646289
agda_2.6.3-1build1.debian.tar.xz                   20-Dec-2023 00:07               11628
agda_2.6.3-1build1.dsc                             20-Dec-2023 00:07                4939
agda_2.6.3-1build1_all.deb                         20-Dec-2023 00:07                3758
agda_2.6.3.orig.tar.gz                             20-Dec-2023 00:07             1794269
elpa-agda2-mode_2.6.0.1-1build4_all.deb            25-Aug-2023 20:36               41180
elpa-agda2-mode_2.6.1-1build2.1_all.deb            27-Aug-2023 01:57               46174
elpa-agda2-mode_2.6.3-1build1_all.deb              20-Dec-2023 00:07               46250
libghc-agda-dev_2.6.0.1-1build4_amd64.deb          25-Aug-2023 20:36            19681864
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          27-Aug-2023 01:57            40255774
libghc-agda-dev_2.6.3-1build1_amd64.deb            20-Dec-2023 00:07            25485196
libghc-agda-doc_2.6.0.1-1build4_all.deb            25-Aug-2023 20:36             4206940
libghc-agda-doc_2.6.1-1build2.1_all.deb            27-Aug-2023 01:57             5403312
libghc-agda-doc_2.6.3-1build1_all.deb              20-Dec-2023 00:07             6288876