Index of /pool/universe/k/kissat/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
 kissat_4.0.1-3.debian.tar.xz | 2024-10-31 18:52 | 5k |
| kissat_4.0.1-3.dsc | 2024-10-31 18:52 | 2k |
| kissat_4.0.1.orig.tar.gz | 2024-10-31 18:52 | 520k |
| Name | Last Modified | Size |
|---|---|---|
| Parent Directory | ||
| kissat_4.0.1-3.debian.tar.xz | 2024-10-31 18:52 | 5k |
| kissat_4.0.1-3.dsc | 2024-10-31 18:52 | 2k |
| kissat_4.0.1.orig.tar.gz | 2024-10-31 18:52 | 520k |