| Name ▴ | Size | Last Modified |
|---|---|---|
| ../ | - | - |
| cvc4-1.8-bash-5.2-fix.patch | 1.1 KB | 2023-03-05 11:40 |
| cvc4-1.8-cmake4.patch | 674 B | 2025-11-10 09:11 |
| cvc4-1.8-destdir.patch | 771 B | 2025-11-10 09:11 |
| cvc4-1.8-gentoo.patch | 896 B | 2025-11-10 09:11 |
| cvc4-1.8-gnuinstalldirs.patch | 7.3 KB | 2025-11-10 09:11 |
| cvc4-1.8-musl.patch | 3.6 KB | 2024-05-20 13:11 |
| cvc4-1.8-size_t.patch | 281 B | 2025-04-10 17:12 |
| cvc4-1.8-toml.patch | 1.3 KB | 2022-11-11 22:40 |
8 items, 15.8 KB total