| Name ↑ | Last modified | Size | ||
|---|---|---|---|---|
| Parent Directory | - | - | ||
| kissat_4.0.2-1.debian.tar.xz | 28-Jan-2025 17:26 | 4.4 KiB | ||
| kissat_4.0.2-1.dsc | 28-Jan-2025 17:26 | 1.9 KiB | ||
| kissat_4.0.2-1_amd64.deb | 28-Jan-2025 18:08 | 350 KiB | ||
| kissat_4.0.2-1_i386.deb | 28-Jan-2025 18:08 | 356 KiB | ||
| kissat_4.0.2.orig.tar.gz | 28-Jan-2025 17:26 | 520 KiB | ||
| kissat_4.0.4-1.debian.tar.xz | 23-Mar-2026 10:15 | 4.7 KiB | ||
| kissat_4.0.4-1.dsc | 23-Mar-2026 10:15 | 2.0 KiB | ||
| kissat_4.0.4-1_amd64.deb | 23-Mar-2026 15:05 | 374 KiB | ||
| kissat_4.0.4-1_i386.deb | 23-Mar-2026 12:08 | 376 KiB | ||
| kissat_4.0.4.orig.tar.gz | 23-Mar-2026 10:15 | 520 KiB | ||