<package pkgid="87d65562a86a80a8fe178725bd6135b7b24645746904215956988d7a3204b71f" name="lib64gmp10" arch="riscv64">
	<version epoch="0" ver="6.3.0" rel="2"/>
</package>
