<div><div dir="auto">Maybe keep the patch until the PHP-defaults migrates and then you can drop it? The migration is getting stuck on various different autopkgtests, so I actually don’t know why it hasn’t migrated yet.</div></div><div dir="auto"><br></div><div dir="auto">Ondrej</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 8 Jun 2020 at 20:18, Alexandre Rossi <<a href="mailto:niol@zincube.net">niol@zincube.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
> > > Sorry, I was too fast - indeed we don't do the above (we do not <br>
> > > probe for and tie to a specific package version) - but I am <br>
> > > confused: why is it not reliable to use the provided ABI?<br>
> > <br>
> > The uwsgi-plugin-php is a sort of special case, as the phpapi-<number> <br>
> > can be resolved with any SAPI (CLI, CGI, apache2, FCGI) and you need <br>
> > to depend on a specific SAPI.<br>
> > <br>
> > Or just wait for php-default 76 to migrate as that solves the problem <br>
<br>
Then do we depend on libphp7.4-embed (my patch) or do we let the problem<br>
solve itself when php-default migrates? Should I revert my proposed fix?<br>
<br>
Thanks,<br>
<br>
Alex<br>
<br>
</blockquote></div></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">--<br>Ondřej Surý</div>