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

[Ondřej Surý]

I'll refresh the versions of PHP 7.0, 7.1 and 7.2 in unstable and start
the transition.

O.
-- 
Ondřej Surý <ondrej at sury.org>

On Sat, Nov 11, 2017, at 14:39, Mathieu Parent wrote:
> 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?
> 
> Regards
> 
> 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.
> 
> _______________________________________________
> pkg-php-maint mailing list
> pkg-php-maint at lists.alioth.debian.org
> http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-php-maint