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 #50 from Lorenzo Villani lvillani@binaryhelix.net 2010-08-20 13:49:56 EDT --- (In reply to comment #49)
Upstream isn't always the best :) In openSUSE itself, the package is called libsatsolver (not libsat-solver nor sat-solver nor satsolver).
It's called libsatsolver because they usually prefix library packages with "lib", IIRC.
[...] In that regard, sat-solver with a dash seems to be a relic name of the repository.
The most correct name is, probably, "satsolver". It's a generic (and probably misleading) name. Maybe I can rename this package to "satsolver" now and, should some conflict arise, rename it again later.
Suggestions welcome (-: