../ cvc4-1.8-bash-5.2-fix.patch 05-Mar-2023 12:17 1092 cvc4-1.8-cmake4.patch 10-Nov-2025 10:38 674 cvc4-1.8-destdir.patch 10-Nov-2025 10:38 771 cvc4-1.8-gentoo.patch 10-Nov-2025 10:38 896 cvc4-1.8-gnuinstalldirs.patch 10-Nov-2025 10:38 7433 cvc4-1.8-musl.patch 20-May-2024 14:16 3734 cvc4-1.8-size_t.patch 17-Apr-2025 11:25 281 cvc4-1.8-toml.patch 12-Nov-2022 00:23 1329