php-stomp-all-dev: empty-binary-package
