Directory: /debian/pool/main/k/kissat/
| Name | Size | Modified |
|---|---|---|
| Parent directory | — | — |
| kissat_4.0.2-1.debian.tar.xz | 4.44K | Wed Jan 29 2025 |
| kissat_4.0.2-1.dsc | 1.93K | Wed Jan 29 2025 |
| kissat_4.0.2-1_amd64.deb | 350K | Wed Jan 29 2025 |
| kissat_4.0.2-1_i386.deb | 356K | Wed Jan 29 2025 |
| kissat_4.0.2.orig.tar.gz | 520K | Wed Jan 29 2025 |
| kissat_4.0.4-1.debian.tar.xz | 4.67K | Mon Mar 23 2026 |
| kissat_4.0.4-1.dsc | 1.96K | Mon Mar 23 2026 |
| kissat_4.0.4-1_amd64.deb | 375K | Mon Mar 23 2026 |
| kissat_4.0.4-1_i386.deb | 376K | Mon Mar 23 2026 |
| kissat_4.0.4.orig.tar.gz | 520K | Mon Mar 23 2026 |