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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
kissat_4.0.3-2_sh4.deb	428.7 KiB	11.09.2025 00:03
kissat_4.0.3-2_sh4.buildinfo	5.4 KiB	11.09.2025 00:03
kissat-dbgsym_4.0.3-2_sh4.deb	1.8 MiB	11.09.2025 00:03