| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minisat-2.2.1-cmake.patch | 1.9 KiB | 2022-Jan-24 03:40 |
| minisat-2.2.1-cmake_minimum.patch | 167 B | 2025-Mar-23 18:41 |
| minisat-2.2.1-musl.patch | 1.6 KiB | 2023-Feb-06 11:40 |
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| minisat-2.2.1-cmake.patch | 1.9 KiB | 2022-Jan-24 03:40 |
| minisat-2.2.1-cmake_minimum.patch | 167 B | 2025-Mar-23 18:41 |
| minisat-2.2.1-musl.patch | 1.6 KiB | 2023-Feb-06 11:40 |