[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

--- Comment #52 from Lorenzo Villani <lvillani at binaryhelix.net> 2010-08-23 06:48:46 EDT ---
(In reply to comment #51)
> 
> So, by that very logic, it should be "satsolver-libs" in Fedora.
> 

AFAIK, the "-libs" suffix is used when an application also happens to ship
libraries usable by 3rd parties. So for pure libraries only "name" and
"name-devel" are necessary, IIRC.

> Feel free to suggest; discussion was already started on similar hot topic
> http://lists.opensuse.org/opensuse-buildservice/2010-07/msg00179.html

Following the "if it ain't broken, don't fix it" motto, I'd like to push this
package as "satsolver" (not "sat-solver") and rename it only if needed.

-- 
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.