Package: php-dev Architecture: all Version: 1:7.2+60ubuntu1 Priority: optional Section: php Source: php-defaults (60ubuntu1) Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian PHP Maintainers <pkg-php-maint@lists.alioth.debian.org> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 12 Depends: php7.2-dev Filename: pool/main/p/php-defaults/php-dev_7.2+60ubuntu1_all.deb Size: 3116 MD5sum: ede894047cb929686de91e57b458330d SHA1: 3458cd26877c9a02829c49018c42992bc671c5b4 SHA256: 2afa28d07caa44f2779ba4db5532f92f023e6bd15dc2d6926db16ba4a2f4746e Description: Files for PHP module development (default) Description-md5: eb4cd7b7c4b9e5efdfad340f5b8509f6 Supported: 5y