Changelog for php71-php-geos-debuginfo-1.0.0-11.fc31.remi.x86_64.rpm :

* Thu Aug 16 2018 Remi Collet - 1.0.0-11- rebuild for 7.3.0beta2 new ABI
* Tue Jul 17 2018 Remi Collet - 1.0.0-10- rebuld for 7.3.0alpha4 new ABI
* Fri Jun 22 2018 Remi Collet - 1.0.0-9- open https://git.osgeo.org/gitea/geos/php-geos/issues/20 fix -Wformat issues + test for PHP 7.3