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

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