<package pkgid="7ebe670de3dc406dde4796afd32c94c97d50ccf3c021cd39d51e12fa2347ef49" name="lib64tss2-tcti-device" arch="riscv64">
	<version epoch="0" ver="4.0.1" rel="1"/>
	<file>/usr/lib64/libtss2-tcti-device.so.0</file>
	<file>/usr/lib64/libtss2-tcti-device.so.0.0.0</file>
</package>
