| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| cvc4-1.8-bash-5.2-fix.patch | 1.1 KiB | 2023년 03월 05일 20시 40분 |
| cvc4-1.8-cmake4.patch | 674 B | 2025년 11월 10일 18시 11분 |
| cvc4-1.8-destdir.patch | 771 B | 2025년 11월 10일 18시 11분 |
| cvc4-1.8-gentoo.patch | 896 B | 2025년 11월 10일 18시 11분 |
| cvc4-1.8-gnuinstalldirs.patch | 7.3 KiB | 2025년 11월 10일 18시 11분 |
| cvc4-1.8-musl.patch | 3.6 KiB | 2024년 05월 20일 22시 11분 |
| cvc4-1.8-size_t.patch | 281 B | 2025년 04월 11일 02시 12분 |
| cvc4-1.8-toml.patch | 1.3 KiB | 2022년 11월 12일 07시 40분 |