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

../
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_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.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.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.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