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

../
agda-bin_2.6.3-1+b1_i386.deb                       13-Apr-2024 19:29            15371516
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_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_i386.deb                13-Apr-2024 19:29            39321424
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-doc_2.6.3-1_all.deb                    13-Oct-2023 16:30             6957572