<package pkgid="7dc9573227e721dfef9a28892b7a7ffe417a3c755e9f6be7c8a62317e334d455" name="lib64tss2-tcti-device-debuginfo" arch="riscv64">
	<version epoch="0" ver="4.2.0" rel="2"/>
</package>
