Folder Path

/kali/pool/main/a/agda/

0 directories 12 files

	Name	Size	Modified
	Up
	agda-bin_2.6.3-1+b1_i386.deb	15 MiB	04/13/2024 07:29:18 PM +00:00
	agda-bin_2.6.3-1+b2_arm64.deb	9.8 MiB	04/13/2024 08:10:46 PM +00:00
	agda-bin_2.6.3-1+b3_amd64.deb	9.8 MiB	04/13/2024 05:30:38 PM +00:00
	agda_2.6.3-1.debian.tar.xz	11 KiB	10/13/2023 03:34:30 PM +00:00
	agda_2.6.3-1.dsc	4.8 KiB	10/13/2023 03:34:30 PM +00:00
	agda_2.6.3-1_all.deb	20 KiB	10/13/2023 04:30:22 PM +00:00
	agda_2.6.3.orig.tar.gz	1.7 MiB	10/13/2023 03:34:30 PM +00:00
	elpa-agda2-mode_2.6.3-1_all.deb	58 KiB	10/13/2023 04:30:22 PM +00:00
	libghc-agda-dev_2.6.3-1+b1_i386.deb	38 MiB	04/13/2024 07:29:19 PM +00:00
	libghc-agda-dev_2.6.3-1+b2_arm64.deb	24 MiB	04/13/2024 08:10:46 PM +00:00
	libghc-agda-dev_2.6.3-1+b3_amd64.deb	23 MiB	04/13/2024 05:30:38 PM +00:00
	libghc-agda-doc_2.6.3-1_all.deb	6.6 MiB	10/13/2023 04:30:22 PM +00:00