https://bugzilla.redhat.com/show_bug.cgi?id=965570 Bug ID: 965570 Summary: Review Request: cbmc - Bounded Model Checker for ANSI-C and C++ programs Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Assignee: nobody@xxxxxxxxxxxxxxxxx Reporter: shakthimaan@xxxxxxxxx QA Contact: extras-qa@xxxxxxxxxxxxxxxxx CC: notting@xxxxxxxxxx, package-review@xxxxxxxxxxxxxxxxxxxxxxx Spec URL: http://shakthimaan.fedorapeople.org/SPECS/cbmc.spec SRPM URL: http://shakthimaan.fedorapeople.org/SRPMS/cbmc-4.3-1.20130515svn.fc17.src.rpm Description: Bounded Model Checker for ANSI-C and C++ programs Fedora Account System Username: shakthimaan -- 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=poHCS1fvMB&a=cc_unsubscribe _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review