<package pkgid="2429183d08073fb62998a64812d93818cf0b9ad9961b2be50f6088b43bc34f96" name="lib64gmpxx-devel" arch="riscv64">
	<version epoch="0" ver="6.3.0" rel="2"/>
	<file>/usr/include/gmpxx.h</file>
	<file>/usr/lib64/libgmpxx.a</file>
	<file>/usr/lib64/libgmpxx.so</file>
	<file>/usr/lib64/pkgconfig/gmpxx.pc</file>
</package>
