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