| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| kissat_4.0.2-1.debian.tar.xz | 4540 | 29-Jan-2025 00:33 |
| kissat_4.0.2-1.dsc | 1971 | 29-Jan-2025 00:33 |
| kissat_4.0.2.orig.tar.gz | 519K | 29-Jan-2025 00:33 |
| kissat_4.0.3-2.debian.tar.xz | 4656 | 27-Oct-2025 23:51 |
| kissat_4.0.3-2.dsc | 1982 | 27-Oct-2025 23:51 |
| kissat_4.0.3-2_amd64.deb | 394K | 28-Oct-2025 00:11 |
| kissat_4.0.3-2_amd64v3.deb | 397K | 28-Oct-2025 00:24 |
| kissat_4.0.3.orig.tar.gz | 519K | 27-Oct-2025 23:51 |