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

	Name	Last modified	Size
	Parent Directory		-
	kissat_4.0.2-1_amd64.deb	2025-01-28 18:08	350K
	kissat_4.0.2-1_arm64.deb	2025-01-28 18:03	308K
	kissat_4.0.3-2+b1_arm64.deb	2026-01-20 15:46	324K
	kissat_4.0.3-2_amd64.deb	2025-09-10 21:36	388K