Debian GNU/Linux at ITP
Software for Debian GNU/Linux
Software, which is not included in stock Debian, too old or otherwise not suitable for our installation can be installed from ITPs Debian package repository for architectures amd64 and i386 (only a few). Add the following lines to your /etc/apt/source.list to install these packages:
deb https://itp.tugraz.at/Comp/debian/ jessie main system backports deb-src https://itp.tugraz.at/Comp/debian/ jessie main system backports
The repositories have roughly those contents:
A word of warning: please check before installing or updating from these repositories. We do test all packages before inserting in these repositories, but there is no established formal quality assurance procedure in use.
Signed repository for DebianThe repositories are signed by GNU Privacy Guard key of Andreas Hirczy. Import my public key (fingerprint: 884C BE2F 0F8F 7A25 E106 E292 2DB8 935D 2FEF D5FA) with either
gpg --recv-keys 0x2DB8935D2FEFD5FA gpg --fingerprint 0x2DB8935D2FEFD5FA gpg --armor --export 0x2DB8935D2FEFD5FA | sudo /usr/bin/apt-key add -or (if you feel especially brave/careless)
curl https://itp.tugraz.at/~ahi/gpg-key.asc | sudo /usr/bin/apt-key add -or
sudo /usr/bin/apt-key adv --recv-keys 0x2DB8935D2FEFD5FA
MirrorsTo ease the load on some external servers (especially Debian security) we have a proxy server (apt-cacher) running, which can be reached by inserting the following lines in /etc/apt/source.list:
deb http://faepsv04.tu-graz.ac.at:3142/apt-cacher/security.debian.org jessie/updates main contrib non-freeThis service is only available for clients with IP addresses matching 22.214.171.124/16.