<package pkgid="79d0d2785d77f8f521f816b8b550d76765e7a83dfbae192a765f3b8bdf3a0402" name="lib64isl23-debuginfo" arch="riscv64">
	<version epoch="0" ver="0.27" rel="1"/>
</package>
