<package pkgid="59d57de096ee324e3abe0f503e77b7069cad4fd52d5764b4254b0e94159839f1" name="lib64z3-debuginfo" arch="riscv64">
	<version epoch="0" ver="5.0.0" rel="1"/>
</package>
