| Parent directory/ | - | - |
| 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-1_riscv64.deb | 353K | 02-Feb-2025 14:18 |
| kissat_4.0.2.orig.tar.gz | 519K | 28-Jan-2025 17:26 |
| kissat_4.0.3-2.debian.tar.xz | 4656 | 10-Sep-2025 14:55 |
| kissat_4.0.3-2.dsc | 1982 | 10-Sep-2025 14:55 |
| kissat_4.0.3-2_amd64.deb | 388K | 10-Sep-2025 21:36 |
| kissat_4.0.3-2_arm64.deb | 332K | 10-Sep-2025 21:47 |
| kissat_4.0.3-2_i386.deb | 374K | 10-Sep-2025 20:40 |
| kissat_4.0.3-2_riscv64.deb | 369K | 11-Sep-2025 00:57 |
| kissat_4.0.3.orig.tar.gz | 519K | 18-Aug-2025 14:59 |