Bug#761948: ITP: libsolv -- dependency solver using a satisfiability algorithm

[Mike Gabriel <mike.gabriel@das-netzwerkteam.de>]

Package: wnpp
Severity: wishlist
Owner: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>

* Package name    : libsolv
  Version         : 0.6.5
  Upstream Author : Michael Schröder (https://github.com/mlschroe)
* URL             : https://github.com/openSUSE/libsolv/
* License         : BSD-3-clause
  Programming Lang: C
  Description     : dependency solver using a satisfiability algorithm

 This dependency solver code in this package is based on two major, but
 independent, blocks:
 .
 1. Using a dictionary approach to store and retrieve package
    and dependency information.
 2. Using satisfiability, a well known and researched topic, for
    resolving package dependencies.
 .
 Search the internet  for 'sat solver' to get links to the theory behind it.
 .
 Supported package formats:
   - rpm/rpm5
   - deb
   - arch linux
   - haiku
 .
 Supported repository formats:
   - rpmmd (primary, filelists, comps, deltainfo/presto, updateinfo)
   - susetags, suse product formats
   - mandriva/mageia (synthesis, info, files)
   - arch linux
   - red carpet helix format
   - haiku


This package is required to introduce zypper to Debian. Goal of getting
zipper into Debian is providing the obs-build tool in Debian.

With obs-build it is possible to chroot-build packages for openSUSE and SLES.

The packages will be deployed on https://jenkins.x2go.org for providing
X2Go nightly builds for openSUSE & co.