Bug#872998: transition: PHP 7.0 to 7.1
Control: forwarded -1 https://release.debian.org/transitions/html/php7.1.html
Control: tags -1 confirmed
On 23/08/17 15:18, Ondřej Surý wrote:
> Package: release.debian.org
> Severity: normal
> User: release.debian.org@packages.debian.org
> Usertags: transition
>
> Hi,
>
> this is request for PHP 7.0 to PHP 7.1 transition. In fact, I could
> make this a "soft" transition and build the PECL extensions for both
> PHP 7.0 and 7.1 for now, so the extensions are not immediately broken
> for people using PHP 7.0. But I have no idea how to express that using
> Ben file syntax as it has to be something like:
>
> is_bad = .depends ~ "phpapi-20151012" & ! .depends ~ "phpapi-20160303";
We can do that. Supporting 7.0 and 7.1 simultaneously for a little while sounds
like a good idea.
Go ahead.
Cheers,
Emilio
Reply to: