[Bug 442714] Review Request: sat-solver - Satisfyability Solver library which can be used to compute inter-package dependencies.

[bugzilla at redhat.com]

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 at medozas.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jengelh at medozas.de

--- Comment #49 from Jan Engelhardt <jengelh at 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.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.