https://bugzilla.redhat.com/show_bug.cgi?id=965570 --- Comment #6 from Jens Petersen <petersen@xxxxxxxxxx> --- I think I found some more problems: - license tag should be "BSD with advertising" - I think the build does not set CFLAGS/CXXFLAGS to include the required build flags for Fedora Bad file paths: /usr/share/doc/html-manual /usr/share/man/cbmc.1 and also please check and explain/fix: Rpmlint ------- Checking: cbmc-4.3-2.20130515svn.fc20.x86_64.rpm cbmc.x86_64: E: non-standard-executable-perm /usr/bin/cbmc 0775L cbmc.x86_64: E: non-standard-executable-perm /usr/bin/goto-instrument 0775L cbmc.x86_64: E: non-standard-executable-perm /usr/bin/goto-cc 0775L I think group write is not needed - not sure what L means here. -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=pE9wqCmbrW&a=cc_unsubscribe _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review