architecture: all component: main package: php-phpspec-prophecy priority: optional section: php srcpkg_name: php-phpspec-prophecy srcpkg_version: 1.17.0-1 version: 1.17.0-1