Kodi is now availble via the Libregeek repo

[github.com]

git clone https://github.com/ProfessorKaos64/SteamOS-Tools

cd SteamOS-Tools

./configure-repos.sh

sudo apt-get install kodi

cd SteamOS-Tools

git pull && ./configure-repos.sh --repair

This is packaged per the enabled options in the xbmc/xbmc-packaging Debian rules file . This means Bluray support and Airtunes support (which I heard breaks in IOS 9, beware).Deb packages are signed by the Libregeek public GPG key.Updating in case of errors/corrections:Wiki page:-PK