RELEASE='4.19.0-0.deb8.25-rt-amd64'
DISTRIBUTOR='Debian'
SOURCEVERSION='4.19.289-2~deb8u1'
PACKAGE_NAME='linux-image-4.19.0-0.deb8.25-rt-amd64'
PACKAGE_VERSION='4.19.289-2~deb8u1'