<package pkgid="23f1f21bcd332b3ebc5bef8f9e31bc80f630e364724946f3682b36ce36ad53d2" name="lib64gmp10" arch="riscv64">
	<version epoch="0" ver="6.3.0" rel="1"/>
</package>
