<package pkgid="925c553e13bf511417721707e057d4164f925ab147ca0d213a8feaa0a2fd9405" name="lib64mpfr-devel" arch="riscv64">
	<version epoch="0" ver="4.2.1" rel="1"/>
	<file>/usr/include/mpf2mpfr.h</file>
	<file>/usr/include/mpfr.h</file>
	<file>/usr/lib64/libmpfr.so</file>
	<file>/usr/lib64/pkgconfig/mpfr.pc</file>
	<file>/usr/share/info/mpfr.info.zst</file>
</package>
