/libre/kodi/

• ../
• PKGBUILD
• kodi-14.0-dvddemux-ffmpeg.patch
• kodi-14.0-gcc5.patch
• kodi.install