jenkins-ci.org updated their repository name to debian-stable