execute the following commands in a terminal window:
wget -O - http://raspi.pkg-repository.tv/APT-PUBLIC.GPG.KEY | sudo apt-key add -
then either download the sources list directly using
sudo wget -O /etc/apt/sources.list.d/pkg-repository_tv.list \
http://raspi.pkg-repository.tv/repo.list
or manually add the following line:
deb http://raspi.pkg-repository.tv wheezy extra
to your »/etc/apt/sources.list« file.
