https://bugzilla.redhat.com/show_bug.cgi?id=965570 --- Comment #1 from Shakthi Kannan <shakthimaan@xxxxxxxxx> --- $ rpmlint cbmc.spec cbmc.spec:15: W: mixed-use-of-spaces-and-tabs (spaces: line 15, tab: line 3) /home/shaks/rpmbuild/SPECS/cbmc.spec: W: invalid-url Source0: cbmc-20130515.tar.xz 0 packages and 1 specfiles checked; 0 errors, 2 warnings. $ rpmlint cbmc-4.3-1.20130515svn.fc17.x86_64.rpm cbmc.x86_64: E: explicit-lib-dependency minisat2-libs cbmc.x86_64: W: incoherent-version-in-changelog 4.3-20130515svn ['4.3-1.20130515svn.fc17', '4.3-1.20130515svn'] cbmc.x86_64: W: no-manual-page-for-binary cbmc cbmc.x86_64: W: no-manual-page-for-binary goto-instrument cbmc.x86_64: W: no-manual-page-for-binary goto-cc 1 packages and 0 specfiles checked; 1 errors, 4 warnings. $ rpmlint cbmc-debuginfo-4.3-1.20130515svn.fc17.x86_64.rpm 1 packages and 0 specfiles checked; 0 errors, 0 warnings. $ rpmlint cbmc-4.3-1.20130515svn.fc17.src.rpm cbmc.src:15: W: mixed-use-of-spaces-and-tabs (spaces: line 15, tab: line 3) cbmc.src: W: invalid-url Source0: cbmc-20130515.tar.xz 1 packages and 0 specfiles checked; 0 errors, 2 warnings. Successful Koji builds at: Koji Success f18 http://koji.fedoraproject.org/koji/taskinfo?taskID=5404712 Koji Success f17 http://koji.fedoraproject.org/koji/taskinfo?taskID=5404713 Koji Success f19 http://koji.fedoraproject.org/koji/taskinfo?taskID=5404714 Koji Success f20 http://koji.fedoraproject.org/koji/taskinfo?taskID=5404711 -- 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=DPeRT1agka&a=cc_unsubscribe _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review