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