RELEASE='6.12.100+deb12-rt-armmp'
DISTRIBUTOR='Debian'
SOURCEVERSION='6.12.100-1~deb12u1'
PACKAGE_NAME='linux-image-6.12.100+deb12-rt-armmp'
PACKAGE_VERSION='6.12.100-1~deb12u1'