Debian Packages

This repository provides debian packages for ubuntu and debian.

To use it, you need to import the signing key:

sudo apt-key adv --keyserver hkp://pgp.surfnet.nl --recv-keys ACDFB08FDC962044D87FF00B512839863D487A87 or curl repo.data.kit.edu/key.pgp | apt-key add -

And add one of the supported repos to your /etc/apt/sources.list:

...and don't forget to run apt-get update

Please send bug reports to packages@lists.kit.edu