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