Instructions for adding this repository to your Debian/Ubuntu/Knoppix/... system
================================================================================

1. Open a shell 


2. Add the server to your repository list by executing:

      sudo wget -nH -rP /etc/apt/sources.list.d/ http://deb.pinguin.lu/pinguin.lu.list
      wget -q http://deb.pinguin.lu/debsign_public.key -O- | sudo apt-key add -
      sudo apt-get update

   Currently, i386 and amd64 systems are supported.


3. That's it. You are now ready to install packages from this repository.