Product: Fedora https://bugzilla.redhat.com/show_bug.cgi?id=903428 Bug ID: 903428 Summary: Review Request: lfsc - SMT proof checker Product: Fedora Version: rawhide Component: Package Review Severity: medium Priority: medium Reporter: loganjerry@xxxxxxxxx Spec URL: http://jjames.fedorapeople.org/lfsc/lfsc.spec SRPM URL: http://jjames.fedorapeople.org/lfsc/lfsc-0.20120321-1.fc19.src.rpm Description: This package contains an SMT proof checker. It is used by CVC4, which I am preparing to submit for review. Fedora Account System Username: jjames -- 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=IXcrGU8AJ1&a=cc_unsubscribe _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review