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

../
agda-bin_2.6.3-1build1_arm64.deb                   20-Dec-2023 00:08            11677582
agda_2.6.1-1build2.1.debian.tar.xz                 30-Aug-2023 22:13               10232
agda_2.6.1-1build2.1.dsc                           30-Aug-2023 22:13                4293
agda_2.6.1-1build2.1_all.deb                       30-Aug-2023 22:13                4134
agda_2.6.1.orig.tar.gz                             30-Aug-2023 22:13             2646289
agda_2.6.3-1build1.debian.tar.xz                   20-Dec-2023 00:08               11628
agda_2.6.3-1build1.dsc                             20-Dec-2023 00:08                4939
agda_2.6.3-1build1_all.deb                         20-Dec-2023 00:08                3758
agda_2.6.3.orig.tar.gz                             20-Dec-2023 00:08             1794269
elpa-agda2-mode_2.6.1-1build2.1_all.deb            30-Aug-2023 22:13               46174
elpa-agda2-mode_2.6.3-1build1_all.deb              20-Dec-2023 00:08               46250
libghc-agda-dev_2.6.3-1build1_arm64.deb            20-Dec-2023 00:08            29053628
libghc-agda-doc_2.6.1-1build2.1_all.deb            30-Aug-2023 22:13             5403312
libghc-agda-doc_2.6.3-1build1_all.deb              20-Dec-2023 00:08             6288876