Index of /pub/os/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