/debian-ports/pool-hurd-i386/main/k/kissat/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
kissat-dbgsym_4.0.3-1_hurd-i386.deb	1.5 MiB	19.08.2025 12:03
kissat_4.0.3-1_hurd-i386.buildinfo	6.1 KiB	19.08.2025 12:03
kissat_4.0.3-1_hurd-i386.deb	376.0 KiB	19.08.2025 12:03