| ../ | | - | Directory |
| cvc4-1.8-bash-5.2-fix.patch | 2023-Mar-05 11:40:19 | 1.0K | application/octet-stream |
| cvc4-1.8-cmake4.patch | 2025-Nov-10 09:11:05 | 0.6K | application/octet-stream |
| cvc4-1.8-destdir.patch | 2025-Nov-10 09:11:05 | 0.7K | application/octet-stream |
| cvc4-1.8-gentoo.patch | 2025-Nov-10 09:11:05 | 0.8K | application/octet-stream |
| cvc4-1.8-gnuinstalldirs.patch | 2025-Nov-10 09:11:05 | 7.2K | application/octet-stream |
| cvc4-1.8-musl.patch | 2024-May-20 13:11:05 | 3.6K | application/octet-stream |
| cvc4-1.8-size_t.patch | 2025-Apr-10 17:12:06 | 0.2K | application/octet-stream |
| cvc4-1.8-toml.patch | 2022-Nov-11 22:40:30 | 1.3K | application/octet-stream |