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

	Name	Last modified	Size
	Parent Directory		-
	agda-bin_2.6.3-1+b1_i386.deb	2024-04-14 07:29	15M
	agda-bin_2.6.3-1+b2_arm64.deb	2024-04-14 08:10	9.8M
	agda-bin_2.6.3-1+b3_amd64.deb	2024-04-14 05:30	9.8M
	agda-bin_2.6.4.3-1+b1_armel.deb	2024-10-17 15:06	13M
	agda-bin_2.6.4.3-1+b1_i386.deb	2024-10-17 12:33	14M
	agda-bin_2.6.4.3-1_amd64.deb	2024-10-09 00:17	9.4M
	agda-bin_2.6.4.3-1_arm64.deb	2024-10-09 02:27	9.4M
	agda_2.6.3-1.debian.tar.xz	2023-10-14 04:34	11K
	agda_2.6.3-1.dsc	2023-10-14 04:34	4.8K
	agda_2.6.3-1_all.deb	2023-10-14 05:30	20K
	agda_2.6.3.orig.tar.gz	2023-10-14 04:34	1.7M
	agda_2.6.4.3-1.debian.tar.xz	2024-10-08 23:41	10K
	agda_2.6.4.3-1.dsc	2024-10-08 23:41	5.1K
	agda_2.6.4.3-1_all.deb	2024-10-09 00:23	12K
	agda_2.6.4.3.orig.tar.gz	2024-10-08 23:41	1.8M
	elpa-agda2-mode_2.6.3-1_all.deb	2023-10-14 05:30	58K
	elpa-agda2-mode_2.6.4.3-1_all.deb	2024-10-09 00:23	50K
	libghc-agda-dev_2.6.3-1+b1_i386.deb	2024-04-14 07:29	37M
	libghc-agda-dev_2.6.3-1+b2_arm64.deb	2024-04-14 08:10	24M
	libghc-agda-dev_2.6.3-1+b3_amd64.deb	2024-04-14 05:30	23M
	libghc-agda-dev_2.6.4.3-1+b1_armel.deb	2024-10-17 15:06	30M
	libghc-agda-dev_2.6.4.3-1+b1_i386.deb	2024-10-17 12:33	36M
	libghc-agda-dev_2.6.4.3-1_amd64.deb	2024-10-09 00:17	22M
	libghc-agda-dev_2.6.4.3-1_arm64.deb	2024-10-09 02:27	23M
	libghc-agda-doc_2.6.3-1_all.deb	2023-10-14 05:30	6.6M
	libghc-agda-doc_2.6.4.3-1_all.deb	2024-10-09 00:23	7.1M