Packages

This repository provides debian packages for deb and rpm based distributions.

Debian Packages

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

New Method (Debian 11 and newer)

1. Download the repository key, to a location which is writable only by root:

Two options:

Option a) (recommended):

curl repo.data.kit.edu/repo-data-kit-edu-key.gpg \
        | gpg --dearmor \
        > /etc/apt/trusted.gpg.d/kitrepo-archive.gpg

2. add one of the supported repos to your /etc/apt/sources.list: (one line of the two given is enough)

Old method (Debian 11 and older)

The old method has security drawbacks

1. Download the key

Three options:

Option a)

curl repo.data.kit.edu/repo-data-kit-edu-key.gpg | gpg --dearmor > /etc/apt/trusted.gpg.d/kit-repo.gpg

Option b)

sudo apt-key adv --keyserver hkp://pgp.surfnet.nl --recv-keys ACDFB08FDC962044D87FF00B512839863D487A87

Option c)

curl repo.data.kit.edu/repo-data-kit-edu-key.gpg | apt-key add -

Please note that the first command fails in a time-out from time to time. In that case just use the second one.

2. add one of the supported repos to your /etc/apt/sources.list: (one line of the two given is enough)

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

RPM Packages

To use it, this signing key is used:

Contact

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