Computer Infrastr.
- manuals
- mail lists
- cluster status
- printers
- AFS service
- NFS service
- used licenses
- Debian GNU/Linux
- meta information

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 i386 and amd64. Add the following lines to your /etc/apt/source.list to install these packages:

  deb     http://itp.tugraz.at/Comp/debian/  squeeze  main system backports
  deb-src http://itp.tugraz.at/Comp/debian/  squeeze  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 Etch/Lenny/Squeeze

The repositories are signed by GNU Privacy Guard key of Andreas Hirczy. Import my public key (fingerprint: 4860 EB0E 2DF8 D22A 453D 4F97 A73C A4AD 73AF D4A6) with either

  gpg --recv-keys 73AFD4A6
  gpg --fingerprint 73AFD4A6
  gpg --armor --export 73AFD4A6 | sudo apt-key add -

or (if you feel especially brave/careless)

  curl http://itp.tugraz.at/~ahi/gpg-key.asc | apt-key add -

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 etch/updates main contrib non-free
  deb http://faepsv04.tu-graz.ac.at:3142/apt-cacher/www.debian-multimedia.org etch main

This service is only available with IP addresses matching 129.27.0.0/16.