<package pkgid="925c553e13bf511417721707e057d4164f925ab147ca0d213a8feaa0a2fd9405" name="lib64mpfr-devel" arch="riscv64">
	<version epoch="0" ver="4.2.1" rel="1"/>
</package>
