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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
kissat_4.0.3-1_ppc64.deb	362.2 KiB	18.08.2025 18:03
kissat_4.0.3-1_ppc64.buildinfo	5.6 KiB	18.08.2025 18:03
kissat-dbgsym_4.0.3-1_ppc64.deb	1.6 MiB	18.08.2025 18:03