<package pkgid="63bad29313088d49a5b1a3a623dbdfd8dc5d207ffdb9df706233619e9b3c8752" name="lib64gmpxx-devel" arch="riscv64">
	<version epoch="0" ver="6.3.0" rel="1"/>
</package>
