Package: php7.2-dev Architecture: amd64 Version: 7.2.3-1ubuntu1 Priority: optional Section: php Source: php7.2 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: 5538 Depends: autoconf (>= 2.63), automake (>= 1.11), libpcre3-dev (>= 2:8.35), libssl-dev, php7.2-cli (>= 7.2.3-1ubuntu1), php7.2-common (= 7.2.3-1ubuntu1), shtool, libtool (>= 2.4.6-0.1~) Recommends: pkg-php-tools Suggests: dh-php Filename: pool/main/p/php7.2/php7.2-dev_7.2.3-1ubuntu1_amd64.deb Size: 555164 MD5sum: 1184dd636c89b99f492b2ccf9d9981ba SHA1: 1e0dc34bd618d80e9966661892f3d39461ee1bae SHA256: ff5b68989db4adc5610933d3acfb3ee5a7954da6e338ff31e105a7da1fd2e714 Homepage: http://www.php.net/ Description: Files for PHP7.2 module development Description-md5: fa357415ff4fcefde4e05170a1defdf7 Supported: 5y