<package pkgid="4fe0504cd05ffdae412cf685922472232a3e0a38ad5824c5efa3c6307c5b707e" name="z3-debuginfo" arch="loongarch64">
	<version epoch="0" ver="5.0.0" rel="1"/>
</package>
