| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| cvc4-1.8-bash-5.2-fix.patch | 1092 | 2023-Mar-05 20:40 | |
| cvc4-1.8-cmake4.patch | 674 | 2025-Nov-10 18:11 | |
| cvc4-1.8-destdir.patch | 771 | 2025-Nov-10 18:11 | |
| cvc4-1.8-gentoo.patch | 896 | 2025-Nov-10 18:11 | |
| cvc4-1.8-gnuinstalldirs.patch | 7433 | 2025-Nov-10 18:11 | |
| cvc4-1.8-musl.patch | 3734 | 2024-May-20 22:11 | |
| cvc4-1.8-size_t.patch | 281 | 2025-Apr-11 02:12 | |
| cvc4-1.8-toml.patch | 1329 | 2022-Nov-12 07:40 | |