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

File Name	File Size	Date
Parent directory/	-	-
kissat_4.0.1-3.debian.tar.xz	4488	31-Oct-2024 18:52
kissat_4.0.1-3.dsc	1664	31-Oct-2024 18:52
kissat_4.0.1.orig.tar.gz	519K	31-Oct-2024 18:52