Filename | Modified | Size | Type |
---|---|---|---|
[Parent Directory] | - | - | - |
kissat_4.0.1-3.debian.tar.xz | 31/10/24 18:5231/10/24 | 4.4 KiB | [Save][Download] |
kissat_4.0.1-3.dsc | 31/10/24 18:5231/10/24 | 1.6 KiB | [Save][Download] |
kissat_4.0.1.orig.tar.gz | 31/10/24 18:5231/10/24 | 519 KiB | [Save][Download] |