Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/by-name/pr/protege-distribution/

• disable-console-log.patch
• package.nix
• static-path.patch