[php-maint] Bug#867867: php-all-dev: Doesn't depend on all supported PHP development packages

[Olly Betts]

Package: php-all-dev
Version: 1:52
Severity: normal

php-all-dev has short description:

> package depending on all supported PHP development packages

It actually depends on:

> Depends: php7.0-dev, php7.0-json

Now unstable has had PHP 7.1 packages for about 6 months (info from
https://tracker.debian.org/pkg/php7.1), and while I can see it was
useful to hold off updating php-all-dev while we were in release
freeze, it would be really helpful to update php-all-dev now the
release has happened so that it's actually useful for its intended
purpose.

Cheers,
    Olly

-- System Information:
Debian Release: buster/sid
  APT prefers unstable-debug
  APT policy: (500, 'unstable-debug'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-3-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_NZ.UTF-8, LC_CTYPE=en_NZ.UTF-8 (charmap=UTF-8), LANGUAGE=en_NZ:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages php-all-dev depends on:
ii  php7.0-dev   7.0.20-2
ii  php7.0-json  7.0.20-2

php-all-dev recommends no packages.

php-all-dev suggests no packages.

-- no debconf information