Changelog for php80-php-gmp-debuginfo-8.0.15~RC1-1.fc33.remi.x86_64.rpm :

* Sun Jan 05 2025 Remi Collet - 8.0.15~RC1-1- update to 8.0.15RC1