Index of /kali-linux-archive/pool/main/a/agda/

../
agda-bin_2.6.4.3-1+b2_amd64.deb                    07-Jun-2025 09:33             9846396
agda-bin_2.6.4.3-1+b2_i386.deb                     07-Jun-2025 09:33            14756624
agda_2.6.4.3-1_all.deb                             07-Jun-2025 09:33               12148
elpa-agda2-mode_2.6.4.3-1_all.deb                  07-Jun-2025 09:33               51316
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             07-Jun-2025 09:33            22821040
libghc-agda-dev_2.6.4.3-1+b2_i386.deb              07-Jun-2025 09:33            37341944
libghc-agda-doc_2.6.4.3-1_all.deb                  07-Jun-2025 09:33             7489680