| Name | Size | Date |
|---|---|---|
| .. | ||
| cvc4-1.8-toml.patch | 1.3K | 11-11-2022 22:40:30 |
| cvc4-1.8-bash-5.2-fix.patch | 1.1K | 05-03-2023 11:40:19 |
| cvc4-1.8-musl.patch | 3.6K | 20-05-2024 13:11:05 |
| cvc4-1.8-size_t.patch | 281 | 10-04-2025 17:12:06 |
| cvc4-1.8-cmake4.patch | 0.7K | 10-11-2025 09:11:05 |
| cvc4-1.8-destdir.patch | 0.8K | 10-11-2025 09:11:05 |
| cvc4-1.8-gentoo.patch | 0.9K | 10-11-2025 09:11:05 |
| cvc4-1.8-gnuinstalldirs.patch | 7.3K | 10-11-2025 09:11:05 |