Hi, On Thu, Dec 27, 2012 at 11:47:08AM +0100, Ivo De Decker wrote: > 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?
I agree with Ivo, spl is defined as a dependency from upstream but is not a separate package in Debian. I think pkg-php-tools needs to change it's behaviour when this kind of things happen. But i'm not the maintainer of the package, so just my 2 cents. -- Luis Uribe http://eviled.org
signature.asc
Description: Digital signature
