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. Go ahead. Cheers, Emilio
