<package pkgid="85ffacfde81ee4e1d6e781b9a815a96f25f12850f7778bfdc4f7f1133f9a7350" name="lib64mpfr6-debuginfo" arch="riscv64">
	<version epoch="0" ver="4.2.2" rel="1"/>
</package>
