php-PhpOption: 1.4.0 (backport from rawhide)
php-Pimple: 1.1.1 (backport from rawhide)