<package pkgid="bc59a55d577c727514bda4f9917ebeb3cb8754c3634644a35f27a913e67133f8" name="lib64ppl-devel" arch="riscv64">
	<version epoch="0" ver="1.2" rel="6"/>
	<file>/usr/bin/ppl-config</file>
	<file>/usr/include/ppl-riscv64.hh</file>
	<file>/usr/include/ppl.hh</file>
	<file>/usr/lib64/libppl.so</file>
	<file>/usr/share/aclocal/ppl.m4</file>
	<file>/usr/share/man/man1/ppl-config.1.zst</file>
	<file>/usr/share/man/man3/libppl.3.zst</file>
</package>
