Package: pkg-php-tools Priority: extra Section: php Installed-Size: 190 Maintainer: Ubuntu Developers Original-Maintainer: Debian PHP PEAR Maintainers Architecture: all Version: 1.32ubuntu2 Depends: debhelper, php-pear, php-cli, php-json, php-xml Suggests: dh-make Filename: pool/main/p/pkg-php-tools/pkg-php-tools_1.32ubuntu2_all.deb Size: 33392 MD5sum: 11094ec9d3a3576995e3be99f83f067a SHA1: fac6353fdd2f70eb64ccc96a5a9b308b47a9708c SHA256: 72c056070baf2e20678b6750a028359d2029fac665e5225d99cc901109f8118d Description: various packaging tools and scripts for PHP packages Description-md5: 52934f8d5207e7453d19358ace64689e Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu Supported: 9m