/sci-mathematics/cvc4/files/

• ../
• cvc4-1.8-bash-5.2-fix.patch
• cvc4-1.8-gentoo.patch
• cvc4-1.8-toml.patch