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
Jan Engelhardt jengelh@medozas.de changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |jengelh@medozas.de
--- Comment #49 from Jan Engelhardt jengelh@medozas.de 2010-08-05 10:12:35 EDT --- In response to comment #27:
sat-solver is the upstream name. I just packaged it with it's original name.
Upstream isn't always the best :) In openSUSE itself, the package is called libsatsolver (not libsat-solver nor sat-solver nor satsolver). Its subpackages are also called perl-satsolver (not perl-sat-solver). In that regard, sat-solver with a dash seems to be a relic name of the repository.