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

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