rpms/php/phpunit/php-phpunit-php-timer3.git, branch master The master git repository for php-phpunit-php-timer3 RPM v3.1.4 2020-04-20T06:08:18+00:00 Remi Collet remi@remirepo.net 2020-04-20T06:08:18+00:00 46b5313fd9a2e557ee5f49a52afe89ac68f74bd9 






update to 3.1.2
2020-04-17T16:10:23+00:00

Remi Collet
remi@remirepo.net

2020-04-17T16:10:23+00:00

9b8b562d02063821329b91304e6eed5d8be60007












update to 3.0.0
2020-02-07T10:36:23+00:00

Remi Collet
remi@remirepo.net

2020-02-07T10:36:23+00:00

4e0b4f75392ccdebead35d3a8ca0e902b064b59c

raise dependency on PHP 7.3
rename to php-phpunit-php-timer3
move to /usr/share/php/SebastianBergmann/Timer3





raise dependency on PHP 7.3
rename to php-phpunit-php-timer3
move to /usr/share/php/SebastianBergmann/Timer3







duplicate v2
2020-02-07T10:31:09+00:00

Remi Collet
remi@remirepo.net

2020-02-07T10:31:09+00:00

fe8b7daa3ca04b44ad23ee4efc4610f158d429ae