ptex-bin: license-problem-font-adobe-copyrighted-fragment-no-credit
ptex-bin: license-problem-font-adobe-copyrighted-fragment
ptex-bin: zero-byte-file-in-doc-directory
ptex-bin: extra-license-file
ptex-bin: script-not-executable
ptex-bin: wrong-name-for-upstream-changelog
