Changelog for php-phpunit-php-timer3-3.1.4-1.fc32.remi.noarch.rpm :

* Mon Apr 20 2020 Remi Collet - 3.1.4-1- update to 3.1.4
* Fri Apr 17 2020 Remi Collet - 3.1.2-1- update to 3.1.2
* Fri Feb 07 2020 Remi Collet - 3.0.0-1- update to 3.0.0- raise dependency on PHP 7.3- rename to php-phpunit-php-timer3- move to /usr/share/php/SebastianBergmann/Timer3
* Fri Jun 07 2019 Remi Collet - 2.1.2-1- update to 2.1.2- drop patch merged upstream
* Wed Feb 20 2019 Remi Collet - 2.1.1-2- add patch from https://github.com/sebastianbergmann/php-timer/pull/21 fix for 32-bit where large value are converted to float
* Wed Feb 20 2019 Remi Collet - 2.1.1-1- update to 2.1.1