Re: [arch-dev-public] PHP 7

On 29/12/15 23:49, Ike Devolder wrote:

So I would add the php-mongodb package that replaces the current php-mongo package with an extra note that its api is not compatible.

replaces=() should not be used if the new package is not compatible with the one it is replacing; a note in the PHP 7 announcement will suffice.