Hi Ondřej, On 10/09/17 11:25, Emilio Pozuelo Monfort wrote: > 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....@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.
What's the status of this transition? Cheers, Emilio
