user: puiterwijk created package: php-phpspec-prophecy on branch: f22 for point of contact: remi To make changes to this package see: https://admin.fedoraproject.org/pkgdb/package/php-phpspec-prophecy