<package pkgid="cf48fc42f54d6d97eca5c07aed625eac5e6046d53eba456b5df761a30cdcb355" name="z3-debuginfo" arch="riscv64">
	<version epoch="0" ver="5.0.0" rel="1"/>
</package>
