Hi Emilio, the php-defaults has been uploaded some time ago, and some extensions have already been rebuild.
However with PHP 7.2 release, it might make sense to take this one step further and add PHP 7.2 as the target for the transition (after it passes NEW queue). Ondrej -- Ondřej Surý <ond...@sury.org> On Mon, Dec 4, 2017, at 18:59, Emilio Pozuelo Monfort wrote: > 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
