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

• package.nix
• sat_solver.patch