<package pkgid="63bad29313088d49a5b1a3a623dbdfd8dc5d207ffdb9df706233619e9b3c8752" name="lib64gmpxx-devel" arch="riscv64">
	<version epoch="0" ver="6.3.0" rel="1"/>
	<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>
