SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

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

* Mon Apr 20 2020 Remi Collet - 3.1.4-1- update to 3.1.4
* 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
 
ICM