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

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

diff --git a/alarm/kodi-rbp/PKGBUILD b/alarm/kodi-rbp/PKGBUILD
index f62383b1c..450bff90c 100644
--- a/alarm/kodi-rbp/PKGBUILD
+++ b/alarm/kodi-rbp/PKGBUILD
@@ -13,7 +13,7 @@ pkgbase=kodi-rbp
 pkgname=('kodi-rbp' 'kodi-rbp-eventclients' 'kodi-rbp-tools-texturepacker' 'kodi-rbp-dev')
 _codename=Krypton
 pkgver=17.1
-pkgrel=3
+pkgrel=4
 arch=('armv6h' 'armv7h')
 url="http://kodi.tv"
 license=('GPL2')
@@ -173,6 +173,7 @@ package_kodi-rbp-tools-texturepacker() {
 package_kodi-rbp-dev() {
   pkgdesc="Kodi dev files (Raspberry Pi)"
   depends=('kodi')
+  provides=('kodi-dev')
 
   _components=('kodi-addon-dev'
     'kodi-audio-dev'