deb http://deb.cert.uni-stuttgart.de/debian stable main