CMS-Packages for Debian/Ubuntu

How-To use this repository

Modify /etc/apt/sources.list

Add one of the following lines to your sources.list to use this repository:

package can be any space delimited combination of the available packages or all to just include all packages.

Add Archive Signing Key

Current key (stretch, buster)

The packages are signed by the following key: 
  pub   4096R/CD4AD995 2018-01-11
  uid                  HU-Berlin, CMS, A1, Debian Stretch Automatic Archive Signing Key <m.bachmann@cms.hu-berlin.de>
  sub   4096R/0B8C0F42 2018-01-11
You need to add this key to your package key ring: 
  wget -q -O - http://citrus.cms.hu-berlin.de/debian/archive.key | sudo apt-key add -
Run 
apt-get update
or 
aptitude update

Old key

The packages are signed by the following key: 
  pub   1024D/CA4CBE78 2007-09-02
        Key fingerprint = 8AF2 3F08 E987 A75D 05A7  7393 9850 0BF4 CA4C BE78
	uid                  HU-Berlin, CMS, Debian Automatic Archive Signing Key <m.bachmann@cms.hu-berlin.de>
You need to add this key to your package key ring: 
  wget -q -O - http://citrus.cms.hu-berlin.de/debian/archive-old.key | sudo apt-key add -
Run 
apt-get update
or 
aptitude update

Install a package

To install a package from this repository use 
apt-get -t cms-packages install packagename
or 
aptitude -t cms-packages install packagename

Modify /etc/apt/preferences

You can also trust this repository to only install good packages (and don't have to use "-t cms-packages" every time).

If you trust this repository more than the official repositories add: 
Package: *
Pin: release a=cms-packages
Pin-Priority: 999
otherwise just add: 
Package: *
Pin: release a=cms-packages
Pin-Priority: 200