<package pkgid="1a7f8afd5a7f33fb44403a5776c829ea4c9abaa476fa2c9e0633589176c078e1" name="lib64gmp10-debuginfo" arch="riscv64">
	<version epoch="0" ver="6.3.0" rel="2"/>
</package>
