| Name | Last modified | Size |
|---|---|---|
| Parent Directory | 2026/04/01 17:08 | - |
| cvc4-1.8-bash-5.2-fix.p.. | 2023/03/05 11:40 | 1092 |
| cvc4-1.8-cmake4.patch | 2025/11/10 09:11 | 674 |
| cvc4-1.8-destdir.patch | 2025/11/10 09:11 | 771 |
| cvc4-1.8-gentoo.patch | 2025/11/10 09:11 | 896 |
| cvc4-1.8-gnuinstalldirs.. | 2025/11/10 09:11 | 7433 |
| cvc4-1.8-musl.patch | 2024/05/20 13:11 | 3734 |
| cvc4-1.8-size_t.patch | 2025/04/10 17:12 | 281 |
| cvc4-1.8-toml.patch | 2022/11/11 22:40 | 1329 |