<package type="rpm">
	<name>lib64ppl-devel</name>
	<arch>riscv64</arch>
	<version epoch="0" ver="1.2" rel="6"/>
	<checksum type="sha256" pkgid="YES">bc59a55d577c727514bda4f9917ebeb3cb8754c3634644a35f27a913e67133f8</checksum>
	<summary>Development tools for the Parma Polyhedra Library C and C++ interfaces</summary>
	<description>The header files, Autoconf macro and minimal documentation for
developing applications using the Parma Polyhedra Library through
its C and C++ interfaces.</description>
	<packager></packager>
	<url>https://www.bugseng.com/content/ppl-download</url>
	<time file="1714520598" build="1714489538"/>
	<size package="394602" installed="3605081" archive="3606180"/>
	<location href="lib64ppl-devel-1.2-6-omv2490.riscv64.rpm"/>
	<format>
		<rpm:license>GPLv3+</rpm:license>
		<rpm:vendor>OpenMandriva</rpm:vendor>
		<rpm:group>Development/C</rpm:group>
		<rpm:buildhost>altra.lindev.ch</rpm:buildhost>
		<rpm:sourcerpm>ppl-1.2-6.src.rpm</rpm:sourcerpm>
		<rpm:header-range start="4504" end="9085"/>
		<rpm:provides>
			<rpm:entry name="devel(libppl(64bit))"/>
			<rpm:entry name="lib64ppl-devel" flags="EQ" ver="1.2" rel="6"/>
			<rpm:entry name="lib64ppl-devel(riscv-64)" flags="EQ" ver="1.2" rel="6"/>
			<rpm:entry name="lib64pwl-devel" flags="EQ" ver="1.2" rel="6"/>
			<rpm:entry name="ppl-devel" flags="EQ" ver="1.2" rel="6"/>
		</rpm:provides>
		<rpm:requires>
			<rpm:entry name="ld-linux-riscv64-lp64d.so.1()(64bit)"/>
			<rpm:entry name="ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)"/>
			<rpm:entry name="lib64ppl14" flags="EQ" ver="1.2" rel="6"/>
			<rpm:entry name="libc.so.6()(64bit)"/>
			<rpm:entry name="libc.so.6(GLIBC_2.27)(64bit)"/>
			<rpm:entry name="libc.so.6(GLIBC_2.34)(64bit)"/>
			<rpm:entry name="libgcc_s.so.1()(64bit)"/>
			<rpm:entry name="libgcc_s.so.1(GCC_3.0)(64bit)"/>
			<rpm:entry name="libgmp.so.10()(64bit)"/>
			<rpm:entry name="libgmpxx.so.4()(64bit)"/>
			<rpm:entry name="libm.so.6()(64bit)"/>
			<rpm:entry name="libppl.so.14()(64bit)"/>
			<rpm:entry name="libstdc++.so.6()(64bit)"/>
			<rpm:entry name="libstdc++.so.6(CXXABI_1.3)(64bit)"/>
			<rpm:entry name="libstdc++.so.6(GLIBCXX_3.4)(64bit)"/>
			<rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.20)(64bit)"/>
			<rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.21)(64bit)"/>
			<rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.32)(64bit)"/>
			<rpm:entry name="libstdc++.so.6(GLIBCXX_3.4.9)(64bit)"/>
			<rpm:entry name="rpmlib(CompressedFileNames)" flags="LE" ver="3.0.4" rel="1"/>
			<rpm:entry name="rpmlib(FileDigests)" flags="LE" ver="4.6.0" rel="1"/>
			<rpm:entry name="rpmlib(PayloadFilesHavePrefix)" flags="LE" ver="4.0" rel="1"/>
			<rpm:entry name="rpmlib(PayloadIsZstd)" flags="LE" ver="5.4.18" rel="1"/>
			<rpm:entry name="rtld(GNU_HASH)"/>
		</rpm:requires>
		<rpm:conflicts>
			<rpm:entry name="lib64ppl7-devel" flags="LT" ver="0.11" rel="3"/>
		</rpm:conflicts>
		<rpm:obsoletes>
			<rpm:entry name="lib64pwl-devel" flags="LT" ver="1.2" rel="6"/>
		</rpm:obsoletes>
		<file>/usr/bin/ppl-config</file>
	</format>
</package>
