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 #28 from Lorenzo Villani lvillani@binaryhelix.net 2008-08-24 15:20:03 EDT --- SRPM URL: http://omploader.org/vcDdi/sat-solver-0.9.4-3.fc9.src.rpm SPEC URL: http://omploader.org/vcDdj/sat-solver.spec
* Sat Aug 23 2008 Lorenzo Villani lvillani@binaryhelix.net - 0.9.4-3 - removed useless requires - Added a rpm database corruption patch - Use correct URI