SOURCE_URL=https://pkg.jenkins.io/debian-stable/binary/jenkins_2.375.1_all.deb
SOURCE_SUM=3e853c1af3eb41d66542d0783eab1a5523ebf310ad11ca91ae0b4544f97eaef2
SOURCE_SUM_PRG=sha256sum
SOURCE_FORMAT=deb
SOURCE_IN_SUBDIR=true
SOURCE_FILENAME=jenkins.deb
SOURCE_EXTRACT=false