Index of /debian-ports/pool-sh4/main/k/kissat/

Name	Size	Date
📁 ../	-	-
📄 kissat-dbgsym_4.0.4-1_sh4.deb	1856816 bytes	2026-03-23 12:03:12
📄 kissat_4.0.4-1_sh4.buildinfo	5573 bytes	2026-03-23 12:03:12
📄 kissat_4.0.4-1_sh4.deb	387148 bytes	2026-03-23 12:03:12