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
Lorenzo Villani lvillani@binaryhelix.net changed:
What |Removed |Added ---------------------------------------------------------------------------- Summary|Review Request: sat-solver |Review Request: satsolver - |- Satisfyability Solver |Satisfiability Solver |library which can be used |library which can be used |to compute inter-package |to compute inter-package |dependencies. |dependencies.
--- Comment #53 from Lorenzo Villani lvillani@binaryhelix.net 2010-08-29 08:48:39 EDT --- SPEC URL: http://github.com/lvillani/RPMs/raw/master/satsolver/satsolver.spec SRPM URL: http://arbiter.fedorapeople.org/reviews/satsolver/satsolver-0.15.0-2.fc13.sr...
Changed package's name. Also, I added some comments above PatchN and SourceN lines.