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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
kissat-dbgsym_4.0.4-1_powerpc.deb	1.5 MiB	24.03.2026 00:03
kissat_4.0.4-1_powerpc.buildinfo	5.5 KiB	24.03.2026 00:03
kissat_4.0.4-1_powerpc.deb	356.0 KiB	24.03.2026 00:03