https://bugzilla.redhat.com/show_bug.cgi?id=965570
--- Comment #9 from Shakthi Kannan <shakthim...@gmail.com> --- Thanks for the review. I have fixed the ChangeLog date, and used "install" for copying the binaries. SPEC: http://shakthimaan.fedorapeople.org/SPECS/cbmc.spec SRPM: http://shakthimaan.fedorapeople.org/SRPMS/cbmc-4.3-4.20130515svn.fc18.src.rpm -- 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=Hi77xRlk9L&a=cc_unsubscribe _______________________________________________ package-review mailing list package-review@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/package-review
