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:

main
software for scientific and desktop use - numerical and symbolic computing, visualization, libraries, and some text editors, graphics and photography tools, office and multimedia applications, ...
system
system software (adopted to our environment using Kerberos 5 and OpenAFS). Please check carefully before using this repository - most likely some packages will not do what you expect them to do.
backports
software backported from Debian unstable, copied from Debian Backports or elsewhere.
test
experimental software - do not use!

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 Debian

The 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

Mirrors

To 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-free
This service is only available for clients with IP addresses matching 129.27.0.0/16.