Package: php-dev Priority: optional Section: php Installed-Size: 11 Maintainer: Ubuntu Developers Original-Maintainer: Debian PHP Maintainers Architecture: all Source: php-defaults (35ubuntu6) Version: 1:7.0+35ubuntu6 Depends: php7.0-dev Filename: pool/main/p/php-defaults/php-dev_7.0+35ubuntu6_all.deb Size: 2868 MD5sum: eefb27e952858089b17a44a2b033dffa SHA1: 3154b919395ae8964eeacc4d3d9c95bbf653edbd SHA256: b10fe40f395d4947775dd3f7f7b26b7be86f98623c2b0393643396a91b2f0381 Description: Files for PHP module development (default) Description-md5: 2d6b1b75c2bc9e7747687b6529ae6969 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu Supported: 9m