_,###._
                  ,#########.
                .######^######.
               .####'     `####
               ####' ,###. `###:
               ###'  ##'`# ,###
               ###.  ###._,###'
               `###  `######'
                `###    `"'
                 `###.
                   `###,
                     `"##:.
                       j#
                       `.
                      d8P  .d88888b. 88d8b.d8b.
                       88  88.   .d8 88'`88'`88
                       88  88oooood8 88  88  88
                       88  88.       88  88  88
                      d88P `88888888 dP  dP  dP




                  Debian+ packages from IEM by IEM

• Import the gpg-key from the Debian keyring server

  sudo mkdir -p /usr/local/share/keyrings
  gpg --keyserver keyring.debian.org --recv-keys 7405E745574809734800156DB65019C47F7A36F8
  gpg --armor --export 7405E745574809734800156DB65019C47F7A36F8 | sudo tee /usr/local/share/keyrings/iem-archive-keyring.asc
  

• To refresh the gpg-key from the Debian keyring server, simply repeat the Import step.
• Add the repository
  The repository is only available via https, so you might need to enable https-support for apt:

   sudo aptitude install apt-transport-https
  

  The following line adds the iem-repository to your apt-sources:

    echo "deb [signed-by=/usr/local/share/keyrings/iem-archive-keyring.asc] https://apt.iem.at/debian iem main" | sudo tee /etc/apt/sources.list.d/iem-archive.list
  

• Finally run:

   sudo aptitude update
  

• Add the non-free repository
  There are also some non-free and contrib packages available. Due to legal restrictions, all non-free can only be installed using a password. The following lines add the non-free/contrib archives of the iem-repository to your apt-sources (replace USERNAME and PASSWORD with valid values):

    sudo mkdir -p /etc/apt/auth.conf.d/
    echo "deb [signed-by=/usr/local/share/keyrings/iem-archive-keyring.asc] https://apt.iem.at/debian iem main contrib non-free" | sudo tee /etc/apt/sources.list.d/iem-archive.list
    echo "machine apt.iem.at login USERNAME password PASSWORD" | sudo tee /etc/apt/auth.conf.d/iem-archive.conf
  

	Name	Last modified	Size	Description
	Parent Directory		-
	dists/	2016-02-15 10:43	-
	pool/	2016-03-21 15:42	-