<package pkgid="8d5e8693718116f50477caa20625f762282d65c29dc90ae3b22955271a69c41d" name="lib64gmpxx4-debuginfo" arch="riscv64">
	<version epoch="0" ver="6.3.0" rel="2"/>
</package>
