<package pkgid="471dca9363f8ab95b9bf45d37cd274ab7a14282aaf23566f9d3fd8bd380fa911" name="lib64mpfr-devel" arch="riscv64">
	<version epoch="0" ver="4.2.2" 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>
