| Name | Size | Modified | ||
|---|---|---|---|---|
| Go up | — | — | ||
| kissat_4.0.4-1.debian.tar.xz | 4.7 KiB | |||
| kissat_4.0.4-1.dsc | 2.0 KiB | |||
| kissat_4.0.4-1_amd64.deb | 374 KiB | |||
| kissat_4.0.4-1_arm64.deb | 324 KiB | |||
| kissat_4.0.4-1_armhf.deb | 346 KiB | |||
| kissat_4.0.4-1_i386.deb | 376 KiB | |||
| kissat_4.0.4.orig.tar.gz | 520 KiB |