[pkg-php-pear] Bug#696743: Bug#696468: phpunit-story: depends on php5-spl which does not appear to exist

[Ivo De Decker]

Hi Thomas,

On Thu, Dec 27, 2012 at 12:44:33PM +0800, Thomas Goirand wrote:
> I don't think it's right to say this is a bug in pkg-php-tools.
> pkg-php-tools only adds dependencies which are in the package.xml. If
> they are wrong, then it is up to the maintainer of each package to fix
> it, by removing ${phppear:Debian-Depends} from Depends:, and manage it
> by hand.

Well, I meant: shouldn't pkg-php-tools know that in debian, spl is included in
the php packages and not in a separate php5-spl package?

If you think it shouldn't, feel free to close bug 696743.

Cheers,

Ivo