Index of /pool/universe/k/kissat

	Name	Last modified	Size	Description
	Parent Directory		-
	kissat-dbgsym_4.0.4-1_riscv64.ddeb	2026-05-21 21:31	1.7M
	kissat-dbgsym_4.0.4-1_amd64v3.ddeb	2026-05-21 19:56	1.6M
	kissat-dbgsym_4.0.4-1_amd64.ddeb	2026-05-21 19:55	1.6M
	kissat-dbgsym_4.0.4-1_armhf.ddeb	2026-05-21 19:52	1.5M
	kissat-dbgsym_4.0.4-1_arm64.ddeb	2026-05-21 19:52	1.5M
	kissat-dbgsym_4.0.4-1_ppc64el.ddeb	2026-05-21 19:48	1.6M
	kissat-dbgsym_4.0.4-1_s390x.ddeb	2026-05-21 19:18	1.6M
	kissat-dbgsym_4.0.3-2_amd64v3.ddeb	2026-04-24 19:35	1.6M
	kissat-dbgsym_4.0.3-2_riscv64.ddeb	2025-10-29 07:26	1.7M
	kissat-dbgsym_4.0.3-2_armhf.ddeb	2025-10-28 19:28	1.5M
	kissat-dbgsym_4.0.3-2_arm64.ddeb	2025-10-28 19:28	1.5M
	kissat-dbgsym_4.0.3-2_ppc64el.ddeb	2025-10-28 19:18	1.6M
	kissat-dbgsym_4.0.3-2_s390x.ddeb	2025-10-28 12:40	1.6M
	kissat-dbgsym_4.0.3-2_amd64.ddeb	2025-10-27 23:25	1.6M
	kissat-dbgsym_4.0.2-1_arm64.ddeb	2025-02-04 07:28	1.3M
	kissat-dbgsym_4.0.2-1_riscv64.ddeb	2025-02-04 07:28	1.3M
	kissat-dbgsym_4.0.2-1_armhf.ddeb	2025-02-04 07:28	1.3M
	kissat-dbgsym_4.0.2-1_s390x.ddeb	2025-02-04 07:28	1.4M