<package pkgid="701de05e0658d0c21b91635c803961d86aaeaa20598357925238ce658b9514b7" name="php-readline-debuginfo" arch="aarch64">
	<version epoch="3" ver="8.5.12" rel="1"/>
</package>
