[php-maint] Bug#881416: Please also depend on php7.1-dev

Mathieu Parent sathieu at debian.org
Sat Nov 11 13:39:09 UTC 2017

Package: php-all-dev
Version: 1:54
Severity: wishlist

Hi Ondrej,

I want to fix #879475, #879476, #879477 by a simple rebuild of those packages.

Maybe a regeneration on debian/control is needed?


Mathieu Parent

-- System Information:
Debian Release: buster/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 4.13.0-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8), LANGUAGE=fr_FR.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages php-all-dev depends on:
ii  php7.0-dev   7.0.22-3
ii  php7.0-json  7.0.22-3

php-all-dev recommends no packages.

php-all-dev suggests no packages.

More information about the pkg-php-maint mailing list