/pkgs/development/web/protege-distribution/

• ../
• default.nix
• disable-console-log.patch
• static-path.patch