deb http://pkg.jenkins-ci.org/debian binary/