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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
kissat_4.0.2-1_powerpc.buildinfo	5.7 KiB	29.01.2025 00:03
kissat_4.0.2-1_powerpc.deb	337.6 KiB	29.01.2025 00:03
kissat-dbgsym_4.0.2-1_powerpc.deb	1.4 MiB	29.01.2025 00:03