/pkgs/applications/science/logic/cvc4/
../
cvc4-bash-patsub-replacement.patch
default.nix
minisat-fenv.patch