Index of /pub/linux/kali/pool/main/a/agda/

../
agda-bin_2.6.3-1+b1_arm64.deb                      22-Oct-2023 21:29            10311032
agda-bin_2.6.3-1+b2_amd64.deb                      30-Oct-2023 16:22            10253960
agda-bin_2.6.3-1_i386.deb                          30-Oct-2023 17:12            15346188
agda_2.6.3-1.debian.tar.xz                         13-Oct-2023 15:34               11604
agda_2.6.3-1.dsc                                   13-Oct-2023 15:34                4944
agda_2.6.3-1_all.deb                               13-Oct-2023 16:30               20128
agda_2.6.3.orig.tar.gz                             13-Oct-2023 15:34             1794269
elpa-agda2-mode_2.6.3-1_all.deb                    13-Oct-2023 16:30               59256
libghc-agda-dev_2.6.3-1+b1_arm64.deb               22-Oct-2023 21:29            25427740
libghc-agda-dev_2.6.3-1+b2_amd64.deb               30-Oct-2023 16:22            23650552
libghc-agda-dev_2.6.3-1_i386.deb                   30-Oct-2023 17:12            39319820
libghc-agda-doc_2.6.3-1_all.deb                    13-Oct-2023 16:30             6957572