Index of /debian/pool/main/k/kissat

	Name	Last modified	Size
	Parent Directory		-
	kissat_4.0.2-1_arm64.deb	2025-01-28 18:03	308K
	kissat_4.0.3-2_arm64.deb	2025-09-10 21:47	332K
	kissat_4.0.2-1_amd64.deb	2025-01-28 18:08	350K
	kissat_4.0.3-2_amd64.deb	2025-09-10 21:36	388K