Index of /pub/linux/ubuntu/pool/universe/k/kissat/

Filename	Modification time	Size
kissat_4.0.2-1.debian.tar.xz	2025-01-29 01:33 CET	4540 B
kissat_4.0.2-1.dsc	2025-01-29 01:33 CET	1971 B
kissat_4.0.2.orig.tar.gz	2025-01-29 01:33 CET	519 KiB
kissat_4.0.3-2.debian.tar.xz	2025-10-28 00:51 CET	4656 B
kissat_4.0.3-2.dsc	2025-10-28 00:51 CET	1982 B
kissat_4.0.3-2_amd64.deb	2025-10-28 01:11 CET	394 KiB
kissat_4.0.3-2_amd64v3.deb	2025-10-28 01:24 CET	397 KiB
kissat_4.0.3.orig.tar.gz	2025-10-28 00:51 CET	519 KiB