deb https://pkg.jenkins.io/debian binary/