RELEASE=''
DISTRIBUTOR='Debian'
SOURCEVERSION='7.0-1~exp1'
PACKAGE_NAME='linux-base-7.0-riscv64'
PACKAGE_VERSION='7.0-1~exp1'