[alarm/kodi-rbp][armv7h] provides=kodi not working?

[Iszzy]

Hi all,

just a minor inconvenience here: When I try to install a package from the AUR that depends on kodi (e.g. kodi-addon-inputstream-adaptive), it complains that its dependency (kodi>=18) is not met, although the installed kodi-rbp package provides it.

My workaround is to download the package source, set its dependency to kodi-rbp>=18 in the PKGBUILD and then build and install it, but I don't understand why that workaround is even necessary.

Thanks in advance!