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