Olaf Hering

Looking through `packages_status`, it seems that function works with plain package names, by requesting a list via zypper. There is no easy way to get a list of all `Provides:`,...

I only speak gawk. Someone needs to translate this to Re to cover every provided string, not just plain rpm package names. The regex does also cover `pkgconfig(something)`, because this...

This simplified version of the gawk commands above does not compile, but should give an idea how it could be done: ```` patch --- a/src/state/opamSysInteract.ml +++ b/src/state/opamSysInteract.ml @@ -507,16 +507,13...

`rpm -qa --qf '%{NAME}\n%{PROVIDES}\n'` takes less than a second on my system, lines with braces and slashes should be removed from the output. `zypper --quiet --no-refresh search --type package --verbose...

What functionality is lost by removing support for "available packages"? It seems the behavior changes from an incomplete list with `zypper --quiet search --type package`, which takes ~3.45s, to a...

I applied 5ffd07705853a7d6516b65db08d3f0a47aa421ab + d5e0bcb805839ce8e9b9e423415bd81fc8c13abe + 2532248d70b14a137164194e6c0eb3459b50de0f on e13109411952d4f723a165c2a24b8c03c4945041. Now `rm -rf ~/.opam&&opam init --disable-sandboxing --compiler=5.1.1&&opam install coccinelle.1.3.0` works. Thanks again. In case some rpm package is missing, zypper will...