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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
kissat_4.0.3-2_alpha.deb	337.3 KiB	10.09.2025 18:03
kissat_4.0.3-2_alpha.buildinfo	5.4 KiB	10.09.2025 18:03
kissat-dbgsym_4.0.3-2_alpha.deb	1.5 MiB	10.09.2025 18:03