rpms/php/phpunit/php-phpunit-php-timer4.git, branch master The master git repository for php-phpunit-php-timer4 RPM missing file 2020-06-05T06:20:41+00:00 Remi Collet remi@remirepo.net 2020-06-05T06:20:41+00:00 4497b55eab85a26379c1e3ac2d69ff18c12b097e 






update to 4.0.0
2020-06-05T06:18:03+00:00

Remi Collet
remi@remirepo.net

2020-06-05T06:18:03+00:00

31cf4c33bb73ab39a1d41482306ec0cfd61b93df

rename to php-phpunit-php-timer4
move to /usr/share/php/SebastianBergmann/Timer4
sources from git snapshot
bootstrap build





rename to php-phpunit-php-timer4
move to /usr/share/php/SebastianBergmann/Timer4
sources from git snapshot
bootstrap build







duplicate v3
2020-06-05T06:08:37+00:00

Remi Collet
remi@remirepo.net

2020-06-05T06:08:37+00:00

142f42a69886adbe2095d12450591d246d327f1f