Please do not reply directly to this email. All additional comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=442714
--- Comment #46 from Lorenzo Villani lvillani@binaryhelix.net 2010-05-22 15:32:48 EDT --- SPEC: http://gitorious.org/lvillani/specs/blobs/raw/master/sat-solver/sat-solver.s... SRPM: http://fedorapeople.org/~arbiter/repo/fedora/13/SRPM/sat-solver-0.15.0-1.fc1...
Test (mock) builds for F13 here: http://fedorapeople.org/~arbiter/repo/fedora/13/
Patch submitted upstream.