On 11/21/2011 07:04 PM, Jerry James wrote: > Is anyone willing to swap a couple of reviews? I need reviews for: > > cryptominisat: https://bugzilla.redhat.com/show_bug.cgi?id=721174 > In spite of the name, there's nothing cryptographic about this > package. The author thinks it would be a useful tool for > cryptographers, but it is just another SAT solver. This is a new > dependency for stp, which I would like to upgrade. I can do this before the end of the weekend if still available. Mine here: https://bugzilla.redhat.com/show_bug.cgi?id=750139 > > polybori: https://bugzilla.redhat.com/show_bug.cgi?id=742388 > This is a package rename. The current package, python-polybori, mixes > the C++ and python interfaces into a single package. This rename > separates the C++ and python interfaces into separate packages. > > Thanks! regards, Brendan -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
