Index of /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+b1_i386.deb                       13-Apr-2024 19:29            15371516
agda-bin_2.6.3-1+b2_amd64.deb                      30-Oct-2023 16:22            10253960
agda-bin_2.6.3-1+b2_arm64.deb                      13-Apr-2024 20:10            10308792
agda-bin_2.6.3-1+b3_amd64.deb                      13-Apr-2024 17:30            10251556
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+b1_i386.deb                13-Apr-2024 19:29            39321424
libghc-agda-dev_2.6.3-1+b2_amd64.deb               30-Oct-2023 16:22            23650552
libghc-agda-dev_2.6.3-1+b2_arm64.deb               13-Apr-2024 20:10            25437956
libghc-agda-dev_2.6.3-1+b3_amd64.deb               13-Apr-2024 17:30            23651156
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