<package pkgid="5931f0a2fec4bf269cc9a3c696b1f5395a8d7c9870c83f9850d0c5208e55dabd" name="lib64isl23" arch="riscv64">
	<version epoch="0" ver="0.27" rel="1"/>
</package>
