| Parent directory/ | - | - |
| kissat_4.0.1-3.debian.tar.xz | 4488 | 15-Oct-2024 13:59 |
| kissat_4.0.1-3.dsc | 1664 | 15-Oct-2024 13:59 |
| kissat_4.0.1-3_amd64.deb | 349K | 15-Oct-2024 15:05 |
| kissat_4.0.1-3_arm64.deb | 307K | 15-Oct-2024 15:05 |
| kissat_4.0.1-3_i386.deb | 356K | 15-Oct-2024 15:04 |
| kissat_4.0.1-3_riscv64.deb | 352K | 15-Oct-2024 18:28 |
| kissat_4.0.1.orig.tar.gz | 519K | 11-Oct-2024 08:48 |
| kissat_4.0.2-1.debian.tar.xz | 4540 | 28-Jan-2025 17:26 |
| kissat_4.0.2-1.dsc | 1971 | 28-Jan-2025 17:26 |
| kissat_4.0.2-1_amd64.deb | 350K | 28-Jan-2025 18:08 |
| kissat_4.0.2-1_arm64.deb | 308K | 28-Jan-2025 18:03 |
| kissat_4.0.2-1_i386.deb | 356K | 28-Jan-2025 18:08 |
| kissat_4.0.2.orig.tar.gz | 519K | 28-Jan-2025 17:26 |