<package pkgid="c76fa345b8a31fb1dfed6b281fd70a94f90198100753dee19da64c28ae874887" name="lib64tss2-tcti-device-debuginfo" arch="x86_64">
	<version epoch="0" ver="4.0.1" rel="2"/>
</package>
