libsolv(3) on Linux

The text 274c20528fa5, as Debian 11 (Bullseye) shipped it.

package dependency solver library using a satisfiability algorithm

libsolv(3) on Linux now