libsolv(3) on Linux

The text b8e6b837db38, as Debian 8 (Jessie) shipped it.

package dependency solver library using a satisfiability algorithm

libsolv(3) on Linux now