From ad3416b8f9347e786fd3946eb0e17f61a400a6aa Mon Sep 17 00:00:00 2001
From: Daniel Albers <daniel@lbe.rs>
Date: Sun, 7 May 2017 20:50:36 +0200
Subject: [PATCH] alarm/kodi-rbp-git: Provide kodi-dev (#1455)

---
 alarm/kodi-rbp-git/PKGBUILD | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/alarm/kodi-rbp-git/PKGBUILD b/alarm/kodi-rbp-git/PKGBUILD
index 5ec50532c..8d33dc142 100644
--- a/alarm/kodi-rbp-git/PKGBUILD
+++ b/alarm/kodi-rbp-git/PKGBUILD
@@ -14,7 +14,7 @@ _suffix=rbp-git
 pkgname=("kodi-$_suffix" "kodi-eventclients-$_suffix" "kodi-tools-texturepacker-$_suffix" "kodi-dev-$_suffix")
 pkgver=17.1rc1.20170223
 _tag=17.1rc1-Krypton
-pkgrel=2
+pkgrel=3
 arch=('armv6h' 'armv7h')
 url="http://kodi.tv"
 license=('GPL2')
@@ -172,6 +172,7 @@ package_kodi-tools-texturepacker-rbp-git() {
 package_kodi-dev-rbp-git() {
   pkgdesc="Kodi dev files (master branch)"
   depends=('kodi')
+  provides=('kodi-dev')
 
   _components=('kodi-addon-dev'
     'kodi-audio-dev'