Package: pkg-php-tools Architecture: all Version: 1.35ubuntu1 Priority: extra Section: php Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian PHP PEAR Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 159 Depends: debhelper, php-pear, php-cli, php-json, php-xml Suggests: dh-make Filename: pool/main/p/pkg-php-tools/pkg-php-tools_1.35ubuntu1_all.deb Size: 27764 MD5sum: 5a70f548b51e1a734010af32d886c267 SHA1: 14be76d16baa8238fb5f72db114ed05df78cecde SHA256: 746a7ff34066ea7c63574c54a33f3e9e65d7a2e8fc0d5bf0f7c374f9ecd18e04 Description: various packaging tools and scripts for PHP packages Description-md5: 52934f8d5207e7453d19358ace64689e Supported: 5y