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

I'll refresh the versions of PHP 7.0, 7.1 and 7.2 in unstable and start the transition. O. -- Ondřej Surý 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,

Bug#881416: Please also depend on php7.1-dev

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