<package pkgid="c62c3396237c1d4cac941a1195164dba3f782126d6af1ffe098f29d6b829f691" name="lib64gmpxx4" arch="riscv64">
	<version epoch="0" ver="6.3.0" rel="2"/>
</package>
