Add armv7hl (hardfloat ABI) support. Beside armv7hl, there's also armv7nhl als compatible subarch with additional (neon) flags.

- merge in most of the MacOS changes from Dave Abrahams

- kill stillborn KINDS_SEPARATELY, use getopt() in tools

Expose solver_printproblemruleinfo() since its a generic rule function

Bump version for -bindings changes

Make swig input files for the bindings reusable

Introduce a new package (satsolver-bindings-devel) containing the .i
and .h files used to create the bindings.
This makes the bindings API reusable in other bindings using
libsatsolver, i.e. libzypp-bindings.

Merge branch 'master' of gitorious.org:opensuse/sat-solver

- fix repo_set_num argument type

- updateinfo: cleanup issue date conversion code a bit

db.h can be found under /usr/include on Fedora, etc.

if susedata doesn't exist, don't try to use it

Merge branch 'master' of gitorious.org:opensuse/sat-solver

changes 0.16.1

updateinfoxml: Correctly parse 'issued date' field.

- bump version to 0.16 to make it different from code11_3 branch

- fix notfound return in solvable_lookup_num, fix typo in comment

add missing files

ruby: fix bugs regarding include path loading (hardcoded) and refactor
the way the library path is defined (once in a helper)

fix fedora paths

SLE10SP3 has vendor_ruby too

- do obsolete pruning after version reduction, it is faster and more correct

- make POLICY_MODE_SUGGEST obey repo priorities

POLICY_MODE_SUGGEST is only used to filter the list of suggested and
recommended packages.

Merge branch 'master' of gitorious.org:opensuse/sat-solver

- fix package priority handling of installed packages in dup case [bnc#631306]

changes

Fix the install of ruby-satsolver, bump version to 0.15.1

- allow file list globs

- refactor code a bit, no functual changes

- also check filelistfilter for glob searches

- more range checks to catch bad gpg packets

- add missing fclose() call

- fix mem leak

Fix handling of compressed susetags files

The 11.3 pool contains packages.gz, so try uncompressing packages.gz
instead of packages

- link with all needed libraries, by Lorenzo Villani

readd install media blacklisting

refactor individual checks into subfunctions

extend usage()

- skip dotfiles in .d directories

- zero repoinfo data for debian repos

- also parse checksum for debian packages
- also read sources from sources.list.d

- do not print license or url lines if NULL

- make installcheck work with debian Packages files

- work around debian obsoletes handling for now
- make solv run on debian, too

- fix dependency comparison in no-buildtime case

- cleanup solv.c a bit

- add SOLVER_NOAUTOSET to disable automatic SET deduction

- add SOLVER_SET bits to tell solver which properties of a job are intended by the user
- add policy_is_illegal check function
- rework solv package select function to use new SET bits

Merge branch 'master' of gitorious.org:opensuse/sat-solver

- add armv7l (patch by Jan-Simon Moeller)

- argh, forgot the check prune bitmap in 'required' case

- add changes, bump version to 0.15.0

- cleandeps: fix userinstalled bitmap access

- some more cleanup

- support SOLVER_SOLVABLE_ALL for dup/update/verify

- code cleanup

- add lzma and xz compression support for both rpmmd and susetags. Clean up code a bit.

- also look at directly addressed userinstalled solvables

- add erase with dependency cleaning:
  * SOLVER_CLEANDEPS flag
  * SOLVER_USERINSTALLED job

- set close-on-exec for repopage filedescriptor

Also look at obsoletes of installed packages, like newer versions of rpm do

- move noupdate test so that the solver tries to keep packages if possible

Merge branch 'master' of gitorious.org:opensuse/sat-solver

- make obsoleteusescolors default to true on FEDORA
- clean up evr matching code

changes

Parse an installed products <shortsummary> tag.

- dataiterator: reset parent when jumping to a solvid [bnc#589640]
- bump version, add changelog

Merge branch 'master' of gitorious.org:opensuse/sat-solver

- content: REPOTAGS -> REPOID, knownid GLOBALID -> REPOID

changes 0.14.16

parse global repository ids. [bnc#377568]

add changes, bump version

- fix language code lookup for fallback languages [bnc#584644]
- change solvable_lookup_str_lang interface a bit for libzypp

Choose English as default fallback.

- match coding style

Fix parsing of pattern specific tags (bnc #585000)

Enhance repomd_findfile usage

- use __qsort_r on old SLE10 versions

Merge branch 'master' of gitorious.org:opensuse/sat-solver

- add changes, bump version

Merge branch 'master' of gitorious.org:opensuse/sat-solver

- make dup rules work when system repo is not first [#581276]

Fix uservisible parsing for rpmmd patterns

And create testcase for it.

- set thread count on fedora so that berkeleydb doesn't die

fix conflict

- add changes, bump version

- speed up createwhatprovides when many solvables provide the same dep
- fix choice rule creation for real (bnc#551637)

- set repository:toolversion to 1.0 in common_write

- add sparcv9v/sparc64v as requested

- add forgotten sparc->sparc arch entry

- add sparc support, bump version

- work around rpm bug when --prefix is used (fixes #565525)

- disable update rule in noobsoletes case if installed package is to be kept, fixes #564239

changes 0.14.11

Get (optionally compressed) product.xml from repomd

- use SOLVER_SOLUTION_DISTUPGRADE instead of replacing
  package with itself in dup mode

- look at infarch/dup rules when creating choice rules, makes dup
  also install 32bit packages [bnc#551637]

- ignore version in source field

- add changes

- fix removedisabledconflicts so that it can cope with dropped orphans

- add changes