TLK: Debian installation

In order to install TLK in Debian, follow these steps.

First add the TLK public key to your APT keys:

$
wget -O -
www.translectures.eu/tlk/repos/apt/translectures-tlk@dsic.upv.es.gpg.key | sudo
apt-key add -

Then edit your “/etc/apt/sources.list” file, adding the following lines:

deb http://www.translectures.eu/tlk/repos/apt/debian DISTRO main
deb-src http://www.translectures.eu/tlk/repos/apt/debian DISTRO main

where “DISTRO” is the name of your distribution, e.g. “wheezy”.