Package: php5-dev Version: 5.6.19+dfsg-2 Severity: normal "php-config5 --php-binary" gives "/usr/bin/php" which is a managed by alternatives. Currently /usr/bin/php7.0 has the highest priority:
$ update-alternatives --config php There are 2 choices for the alternative php (providing /usr/bin/php). Selection Path Priority Status ------------------------------------------------------------ * 0 /usr/bin/php7.0 70 auto mode 1 /usr/bin/php5 50 manual mode 2 /usr/bin/php7.0 70 manual mode On a system with both php5-cli and php7.0-cli installed (which users who have installed php-cli will have, since this dependency package has now switched to pulling in php7.0-cli), the upshot is that you get the wrong PHP interpreter version: $ php-config5 --php-binary /usr/bin/php $ /usr/bin/php --version PHP 7.0.4-6 (cli) ( NTS ) Copyright (c) 1997-2016 The PHP Group Zend Engine v3.0.0, Copyright (c) 1998-2016 Zend Technologies with Zend OPcache v7.0.6-dev, Copyright (c) 1999-2016, by Zend Technologies Really "php-config5 --php-binary" should give "/usr/bin/php5": $ /usr/bin/php5 --version PHP 5.6.19-2 (cli) Copyright (c) 1997-2016 The PHP Group Zend Engine v2.6.0, Copyright (c) 1998-2016 Zend Technologies with Zend OPcache v7.0.6-dev, Copyright (c) 1999-2016, by Zend Technologies It appears that php-config7.0 gets this right: $ php-config7.0 --php-binary /usr/bin/php7.0 Cheers, Olly -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable'), (500, 'stable'), (1, 'experimental') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 4.3.0-1-amd64 (SMP w/8 CPU cores) Locale: LANG=en_NZ.UTF-8, LC_CTYPE=en_NZ.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages php5-dev depends on: ii autoconf 2.69-9 ii automake 1:1.15-4 ii libpcre3-dev 2:8.38-3.1 ii libssl-dev 1.0.2g-1 ii libtool 2.4.6-0.1 ii php5-common 5.6.19+dfsg-2 ii shtool 2.0.8-8 Versions of packages php5-dev recommends: ii dh-php5 0.2 ii pkg-php-tools 1.32 php5-dev suggests no packages. -- no debconf information