[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 #51 from Jan Engelhardt <jengelh at medozas.de> 2010-08-20 14:06:01 EDT ---
>It's called libsatsolver because they usually prefix library packages
>with "lib", IIRC.

So, by that very logic, it should be "satsolver-libs" in Fedora.

(Though the Fedora naming scheme always felt strange. What will be done if you
need two versions. libfoo1 and libfoo2 work out, but foo-libs and foo-libs -
you see the clash.)

> "satsolver". It's a generic

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

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