From 2d266ac98f281e5dcd29b30f6e2335ddf2c1888c Mon Sep 17 00:00:00 2001
From: David Beauchamp <david@xtuple.com>
Date: Fri, 24 Jul 2015 11:30:24 -0400
Subject: [PATCH] alarm/kodi-rpb to 15.0-2: rebuild for libcec-rpi 3.0.1

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

diff --git a/alarm/kodi-rbp/PKGBUILD b/alarm/kodi-rbp/PKGBUILD
index 9168cc86c..5ecaeb344 100644
--- a/alarm/kodi-rbp/PKGBUILD
+++ b/alarm/kodi-rbp/PKGBUILD
@@ -11,7 +11,7 @@ pkgbase=kodi-rbp
 pkgname=('kodi-rbp' 'kodi-rbp-eventclients')
 pkgver=15.0
 _codename=Isengard
-pkgrel=1
+pkgrel=2
 pkgdesc="A software media player and entertainment hub for digital media for the Raspberry Pi"
 arch=('armv6h' 'armv7h')
 url="http://kodi.tv"