Index of /debian/

Name:Last Modified:Size:Type:
Parent Directory-Directory
pool2013-May-10 08:19:11-Directory
dists2008-Jul-07 19:59:21-Directory
README.txt2010-Sep-10 15:40:57354Btext/plain; charset=utf-8
sources.list:

deb http://debian.stbuehler.de/debian/ stbuehler main
deb-src http://debian.stbuehler.de/debian/ stbuehler main


gpg key:

gpg --keyserver pgp.surfnet.nl --recv 80121CD2479689D8

and (if you are root):
gpg -armor --export 80121CD2479689D8 | apt-key add -

or as user:
gpg -armor --export 80121CD2479689D8 | sudo apt-key add -