Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/by-name/cv/cvc4/

• cvc4-bash-patsub-replacement.patch
• minisat-fenv.patch
• package.nix