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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
kissat-dbgsym_4.0.3-2_hurd-i386.deb	1.5 MiB	2025-Sep-11 21:03
kissat_4.0.3-2_hurd-i386.buildinfo	6.0 KiB	2025-Sep-11 21:03
kissat_4.0.3-2_hurd-i386.deb	374.5 KiB	2025-Sep-11 21:03