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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
kissat_4.0.3-1_hppa.buildinfo	5.5 KiB	18.08.2025 18:03
kissat_4.0.3-1_hppa.deb	348.4 KiB	18.08.2025 18:03
kissat-dbgsym_4.0.3-1_hppa.deb	1.5 MiB	18.08.2025 18:03