Index of /ubuntu-ports/pool/universe/a/agda/
../
agda-bin_2.6.0.1-1build4_arm64.deb 30-Aug-2023 22:13 7790996
agda-bin_2.6.3-1build1_arm64.deb 20-Dec-2023 00:08 11677582
agda-mode_2.6.0.1-1build4_all.deb 30-Aug-2023 22:13 3644
agda_2.6.0.1-1build4.debian.tar.xz 30-Aug-2023 22:13 10220
agda_2.6.0.1-1build4.dsc 30-Aug-2023 22:13 4293
agda_2.6.0.1-1build4_all.deb 30-Aug-2023 22:13 4056
agda_2.6.0.1.orig.tar.gz 30-Aug-2023 22:13 2372106
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.0.1-1build4_all.deb 30-Aug-2023 22:13 41180
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.0.1-1build4_arm64.deb 30-Aug-2023 22:13 23210212
libghc-agda-dev_2.6.3-1build1_arm64.deb 20-Dec-2023 00:08 29053628
libghc-agda-doc_2.6.0.1-1build4_all.deb 30-Aug-2023 22:13 4206940
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