| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 cvc4-1.8-bash-5.2-fix.patch | 1092 bytes | 2023-03-05 11:40:19 |
| 📄 cvc4-1.8-cmake4.patch | 674 bytes | 2025-11-10 09:11:05 |
| 📄 cvc4-1.8-destdir.patch | 771 bytes | 2025-11-10 09:11:05 |
| 📄 cvc4-1.8-gentoo.patch | 896 bytes | 2025-11-10 09:11:05 |
| 📄 cvc4-1.8-gnuinstalldirs.patch | 7433 bytes | 2025-11-10 09:11:05 |
| 📄 cvc4-1.8-musl.patch | 3734 bytes | 2024-05-20 13:11:05 |
| 📄 cvc4-1.8-size_t.patch | 281 bytes | 2025-04-10 17:12:06 |
| 📄 cvc4-1.8-toml.patch | 1329 bytes | 2022-11-11 22:40:30 |