Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
patches.xml | 2024-10-15 21:32 | 926 | ||
kissat_4.0.1-3.patch-basis | 2024-10-15 21:07 | 8 | ||
kissat_4.0.1-3.patch | 2024-10-15 21:07 | 2.3K | ||
kissat_4.0.1-2.patch-basis | 2024-10-14 15:36 | 8 | ||
kissat_4.0.1-2.patch | 2024-10-14 15:36 | 11K | ||