[kodi] Should the provides relation specify the version?

[jani]

I'm trying to install kodi-addon-inputstream-adaptive from AUR by ignoring arch. It has a makedepends=('kodi-dev>=18') relation, which seems not to be fulfilled, because I have installed kodi-rbp3-dev, which in turn has only a provides=('kodi-dev'). If I have understood correctly, according to the Arch Linux wiki, the line should be something like provides=('kodi-dev=18.3'), so any package with depends=('kodi-dev>=18') can be installed. Any thoughts?

Some outputs from shell:
$this->bbcode_second_pass_code('', '
> # kodi-rbp3-dev is installed
> pacman -Q kodi-rbp3-dev
kodi-rbp3-dev 18.3-1
> # kodi-rbp3-dev>=18 dependency is filled
> pacman -T "kodi-rbp3-dev>=18"
> # kodi-dev>=18 is not filled
> pacman -T "kodi-dev>=18"
kodi-dev>=18
> # Only kodi-dev is filled
> pacman -T "kodi-dev"
>
')

PS. I'm not sure if the addon will work at all, but so far I have had success with AUR.