<package pkgid="4d04b757e3cf627c63bc62377b6cf1f83274930ab0a601e01925506705ea0167" name="lib64tss2-tcti-device" arch="x86_64">
	<version epoch="0" ver="4.0.1" rel="2"/>
	<file>/usr/lib64/libtss2-tcti-device.so.0</file>
	<file>/usr/lib64/libtss2-tcti-device.so.0.0.0</file>
</package>
