[ci] Update actions/checkout to version 4

Fix apkv3 dependency operator handling

Also set SOLVABLE_DOWNLOADSIZE for apkv2 indexes

Add missing solv_free in the adb_read_adb_blk error case

Add liblzma-dev to fix the CI build

Fix bit shift in adb_read_blk_header

And also move it to the other file read functions.

Rename APK_ADD_INDEX to APK_ADD_INSTALLED_DB while we can

Implement apkv3 support

Allow an empty index file in repo_add_apk_repo

Fix repo_add_arch_repo return type

Implement decompression in repo_add_apk_repo()

We need this to support apkv3 index files.

Make LIBSOLVEXT_FEATURE_APK available in solvversion.h

Add apk.h. Not my day.

Add forgotten apk2solv.c file

Add a package/repo parser for apk

You need to configure with ENABLE_APK to get them.

Note that we currently only support the v2 format. We'll add
v3 support if somebody uses it in the future.

Add support for DISTTYPE_APK to the libsolv core

This is mostly the apk version comparison. We also do not add
spaces around the comparison ops for apk and shorten =~ to ~.

This is currenly bould to MULTI_SEMANTICS as we do not have
an "alpine" target yet.

Move tar handling from repo_arch into its own file

We'll need it for apk packages.

Fix repo_add_arch_local() declaration

Add changes, bump version to 0.7.31

Use the correct solvable id when checking the noarch map

Fixes issue #574

Init the whatprovides of new ids to an empty list for lazy file provides

Otherwise finding the provides will always search the file list.

Make POOL_FLAG_ADDFILEPROVIDESFILTERED behaviour more standard

Turning on POOL_FLAG_ADDFILEPROVIDESFILTERED made the lookup of
all file dependencies lazy, not only the ones required by some
dependency. This changes the way searching works and may also
slow down some use cases.

We now changed addfileprovides() to record the needed non-standard
file dependencies and only make those lazy in createwhatprovides().

Add rpm_query_idarray query function

This is added to query the OrderWithRequires dependencies from
downloaded rpms.

Also refactor query code a bit.

Support orderwithrequires dependencies in testcases

Support rpm's "orderwithrequires" dependency

Note that the rpmmd parser cannot set it as the xml schema
does not include this type of dependency.

Refactor string pool merging in repo_solv

Move merging code into strpool.c where it belongs. Also clean up
hashmask handling a bit.

Add changes, bump version to 0.7.30

Merge pull request #571 from ppisar/dump_genid_format_overflow

Fix a possible format overflow in dump_genid()

Fix a possible format overflow in dump_genid()

GCC 14 called with CFLAGS='-O2 -Wformat-overflow' complains:

    /tmp/libsolv/ext/testcase.c: In function ‘dump_genid’:
    /tmp/libsolv/ext/testcase.c:1275:33: warning: ‘: genid ’ directive writing 8 bytes into a region of size between 3 and 12 [-Wformat-overflow=]
     1275 |       sprintf(cntbuf, "genid %2d: genid ", cnt++);
  |                                 ^~~~~~~~
    /tmp/libsolv/ext/testcase.c:1275:7: note: ‘sprintf’ output between 17 and 26 bytes into a destination of size 20
     1275 |       sprintf(cntbuf, "genid %2d: genid ", cnt++);
  |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    /tmp/libsolv/ext/testcase.c:1270:33: warning: ‘: genid ’ directive writing 8 bytes into a region of size between 3 and 12 [-Wformat-overflow=]
     1270 |       sprintf(cntbuf, "genid %2d: genid ", cnt++);
  |                                 ^~~~~~~~
    /tmp/libsolv/ext/testcase.c:1270:7: note: ‘sprintf’ output between 17 and 26 bytes into a destination of size 20
     1270 |       sprintf(cntbuf, "genid %2d: genid ", cnt++);
  |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

That's indeed a bug: sprintf() writes into a 20-byte array cntbuf. cnt
is int, 32-bit long integer on x86_64 Linux platform. dump_genid()
starts with cnt = 1 and increases. It can go up to 2147483647 decimal
value, then wrap to -2147483648 decimal value.  That's up to 11 bytes
of the integer, plus 14 bytes of a static string, plus 1 byte of
a trailing '\0'. 26 bytes in total.

While it's improbable that cnt would amount that long number in real
life, it's better to be prepared for the worst. Also a benefit is that
static analyzers will be be content.

This patch increases cntbuf[] size to accomodate common 32-bit
ints. (Generic, albeit illegible, expression would be:

    cntbuf[((sizeof(cnt) * 8 - 1) * 3 / 10 + 1 + 1) + 14 + 1];

but I'm not sure that long expression is worth of it.)

Add new SOLVER_FLAG_FOCUS_NEW focus type

First resolve the given jobs, then the dependencies of the
resulting packages ignoreing the ones provided by currently
installed packages. After that resolve all already installed
packages. This is similar to SOLVER_FLAG_FOCUS_BEST but less
aggressive in updating packages.

Fixes issue #549

repo2solv: no longer use "find" to find rpms

This commit implements the file tree work needed
for the "plaindir" format. Like with the "find" command,
we do not follow symlinks to directories in recursive
mode.

Add more changes

Use %version in the new conflict and add a changes entry

Merge pull request #565 from bmwiedemann/conflict

Add a Conflicts in libsolv-tools-base

Add a Conflicts in libsolv-tools-base

so this does not get installed in parallel with older versions
of libsolv-tools

bindings: fix return value of repodata.add_solv()

Found by Dante Grapiuna de Almeida, thanks!
Fixes #564

Also set errno for unsupported compressions in solv_xfopen_fd()

Fix SHA-224 oid in solv_pgpvrfy

Merge pull request #563 from ppisar/solv_xfopen_unsupported_error

Report unsupported compression in solv_xfopen() with errno

Report unsupported compression in solv_xfopen() with errno

If libsolv was built without Zstandard support and "primary.xml.zst"
was passed solv_xfopen(), solv_xfopen() returned 0 without setting
errno. A calling application could not distinguish an unsupported
compression format from other I/O errors.

This patch improves this situation by setting errno variable to an
appropriate value. The value macros are documented in POSIX 2017.

Add changes, bump version to 0.7.29

Use exclude of repo2solv/rpmdb2solv in libsolv-tools

Merge pull request #559 from dirkmueller/master

Split libsolv-tools

Merge pull request #561 from dirkmueller/remove_o3

Remove o3

Split libsolv-tools

Go back to -O2 for relwithdebuginfo

This removes about 11% of code size with neglegible performance
impact (tested via testsolv on a tumbleweed upgrade gives
equal performance)

make testcases debian proof

Add testcases for proof generation

testsolv: Add missing entries to resultflags2str

Revert accidental change when sorting the decicions

This reverts a wrong change from commit 29ebc283f819dc4c24534fa50a62931e262a5c32

Unbreak code to not end a proof with SOLVER_RULE_RPM_SAME_NAME

We broke it with commit f6b47040159e905e62317ef846b26ffcaa8dad8f
when we added the reason to the decisionlist entry but forgot
to adapt the code.

We need to add decisionlist testcases...

getdecisionlist: keep track of all literals from a unit rule

Otherwise, sort_unit_decisions() may not find a unit rule and
go into and endless loop. Before this commit, we left out
conflicted packages to make the decisionlist shorter.

An alternative would be to track those left out literals.

Fixes #558.

luasolv: delete debug line

bindings: implement returnself for lua

And add a warning if the definition is missing for a new language.

Some lua typemap cleanups

Add datamatch.dep attribute support to the bindings

Globally rename __str__ to str for perl and tcl

Globally rename __str__ to to_s for ruby

Add stringification for the solutionelement class

Also globalize some renames.

Merge pull request #557 from dcantrell/uninitialized-structs

Fix a couple small static analysis findings for uninitialized structs

Fix a couple small static analysis findings for uninitialized structs

The memset() on the KeyValue is more explicit even though if you trace
the code you will see it fills out the struct.  However, it's possible
that not every struct member will be initialized and adding the
memset() makes things more obvious and appeases the static analyzer.

The queue_init() appeared to just be missing.

Delete duplicated lines

Add lua to bindings documentation

Add lua bindings

Do __eq__ and __ne__ renaming as global rename for tcl

I didn't know this was possible...

Call appdata_get_helper with a pointer to the appdata

This adds more flexibility to the helper which is needed for the
upcoming lua bindings.

Enable MULTI_SEMANTICS in the spec file

There's no good reason not to do it.

Remove now unused argument

Remove more dead code

Also fulfill the update rule if we did a "special updater" update

Always use PyObject_Call as suggested by Jan Kolarik

PyObject_Call is available since python 2.2

fix last commit

Swig is weird.

Replace deprecated PyEval_CallObject will PyObject_Call when build for python >= 3.0

Fixes issue #551

Add testcase for issue #550

Handle installed packages in three passes

Fixes issue #550

Move special updaters handling into its own function

resolve_installed: remove dead code

Since we simplified our dup handling the update rules always
start with the installed package.

Bring python singlespec nearer to the documentation

Get rid of a couple of time_t uses

We are using our 'unsigned long long' numeric data type anyway
later on.

Add changes, bump version to 0.7.28

Add 'make clean' in singlespec build

This seems to be unneeded as the Makefile written by cmake
automatically detects that it needs to rebuild if a different
python version is used. But just be be on the safe side...

Merge pull request #542 from bluca/typos

Fix various typos found by Lintian

Get rid of cmake warning

Build for multiple python versions for SUSE

Merge pull request #546 from jonashaag/patch-1

Disable choice rules for Conda

Disable choice rules for Conda

Fix various typos found by Lintian

Add changes, bump version to 0.7.27

Further optimize dirpool caching in repo_write

This halves the time to convert the rawhide/Everything repo.

Add license blurb to findfileconflicts tool

Like with all the other tools...

installcheck: use solver_problemruleinfo2str()

No longer use legacy problem types in installcheck

No functual changes.

Rewrite strlen_comp so that it no longer has its own list of compression types

Merge pull request #544 from Vogtinator/zst

installcheck: Support .zst files and fix .lzma

installcheck: Support .zst files and fix .lzma

repo_write: add a small cache for putinowndirpool()

This helps a lot with diskusage data or filelists.

Add changes, bump version to 0.7.26

repo_rpmdb.c: Do not use deprecated headerUnload with newer rpm versions

We check the definition of RPM_MASK_TYPE to find out it rpm is
new enough.

Fix evr roundtrip

Remove the "0:" stripping from the evr in testcase_read. Messing
with the evr is not our business, we need to reproduce the data
as faithful as possible.

Add changes, bump version to 0.7.25