Bug#696743:
reassign 696743 pkg-php-tools severity 696743 important tags 696743 - upstream thanks Hi, PHPUnit maintainer doesn't agree [1]. As I don't see any reason why a PECL extension can exist in several cases, I will paytch pkg-php-tools to compare case-insensitively. [1]: https://github.com/sebastianbergmann/phpunit/pull/771 Regards Mathieu Parent 2013/1/6 Mathieu Parent math.par...@gmail.com: reassign 696743 phpunit-story severity 696743 normal tags 696743 + upstream thanks Hello all, IMO this is a bug on the phpunit-story side. The proper case is caps: SPL and not spl. SPL is already considered a buitin extention by pkg-php-tools and extension names are case sensitive. You can quickly check: $ php -m | grep -i spl SPL This is an upstream PHPUnit_Story bug. Regards -- Mathieu -- Mathieu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#696743:
reassign 696743 phpunit-story severity 696743 normal tags 696743 + upstream thanks Hello all, IMO this is a bug on the phpunit-story side. The proper case is caps: SPL and not spl. SPL is already considered a buitin extention by pkg-php-tools and extension names are case sensitive. You can quickly check: $ php -m | grep -i spl SPL This is an upstream PHPUnit_Story bug. Regards -- Mathieu -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#696743: [pkg-php-pear] Bug#696468: phpunit-story: depends on php5-spl which does not appear to exist
On 01/03/2013 12:06 AM, Luis Uribe wrote: Hi all, On Thu, Dec 27, 2012 at 10:11:21PM +0800, Thomas Goirand wrote: Luis must know better than I. I haven't really used phpunit-story. But, without much testing, I believe that it should at least depend on phpunit. As I'm not sure about this, let's wait for Luis input (and probably, this holiday period is not best to expect a fast answer). Here is the .dsc file with the patch. http://mentors.debian.net/debian/pool/main/p/phpunit-story/phpunit-story_1.0.0-3.dsc Perhaps Thomas (or another DD could review it and upload it) Sorry about the delay, Regards, Hi Luis, I've seen that you have added the field: DM-Upload-Allowed: yes This thing is deprecated. Please see: https://lists.debian.org/debian-devel-announce/2012/11/msg6.html Also, I would strongly suggest that you register to the debian-devel-announce mailing list, so you don't miss such an important announcement in the future. Please re-upload version -3 without this new field. If you wish to have upload rights for this package, I can grant it to you upload rights for this package if you want. Though, I'll have to learn how to do it the new way...:) Also, it seems that you never requested -2 to be unblock. Once -3 reaches SID, please do not forget to ask for an unblock to the release team. This would be done this way: reportbug -A phpunit-story_1.0.0-3.debdiff release.debian.org then choose unblock. Cheers, Thomas -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#696743: [pkg-php-pear] Bug#696468: phpunit-story: depends on php5-spl which does not appear to exist
Hi, On Thu, Jan 03, 2013 at 11:30:26PM +0800, Thomas Goirand wrote: Please re-upload version -3 without this new field. If you wish to have upload rights for this package, I can grant it to you upload rights for this package if you want. Though, I'll have to learn how to do it the I've upload a new version without the field. I'll have to learn how to ask for upload rights too :) http://mentors.debian.net/debian/pool/main/p/phpunit-story/phpunit-story_1.0.0-3.dsc Also, it seems that you never requested -2 to be unblock. Once -3 reaches SID, please do not forget to ask for an unblock to the release team. This would be done this way: I never do that because some do it first. I will do that after the package is uploaded. Regards, -- Luis Uribe http://eviled.org signature.asc Description: Digital signature
Bug#696743: [pkg-php-pear] Bug#696468: phpunit-story: depends on php5-spl which does not appear to exist
Hi all, On Thu, Dec 27, 2012 at 10:11:21PM +0800, Thomas Goirand wrote: Luis must know better than I. I haven't really used phpunit-story. But, without much testing, I believe that it should at least depend on phpunit. As I'm not sure about this, let's wait for Luis input (and probably, this holiday period is not best to expect a fast answer). Here is the .dsc file with the patch. http://mentors.debian.net/debian/pool/main/p/phpunit-story/phpunit-story_1.0.0-3.dsc Perhaps Thomas (or another DD could review it and upload it) Sorry about the delay, Regards, -- Luis Uribe http://eviled.org signature.asc Description: Digital signature
Bug#696743: [pkg-php-pear] Bug#696468: phpunit-story: depends on php5-spl which does not appear to exist
On 12/27/2012 06:47 PM, Ivo De Decker wrote: 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 Luis must know better than I. I haven't really used phpunit-story. But, without much testing, I believe that it should at least depend on phpunit. As I'm not sure about this, let's wait for Luis input (and probably, this holiday period is not best to expect a fast answer). Cheers, Thomas -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
Bug#696743: [pkg-php-pear] Bug#696468: phpunit-story: depends on php5-spl which does not appear to exist
Hi, On Thu, Dec 27, 2012 at 10:11:21PM +0800, Thomas Goirand wrote: Luis must know better than I. I haven't really used phpunit-story. But, without much testing, I believe that it should at least depend on phpunit. As I'm not sure about this, let's wait for Luis input (and probably, this holiday period is not best to expect a fast answer). Actually, i'm working on it. Expect a new package in a few hours. -- Luis Uribe http://eviled.org signature.asc Description: Digital signature
Bug#696743: [pkg-php-pear] Bug#696743: Bug#696468: phpunit-story: depends on php5-spl which does not appear to exist
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
Bug#696743: [pkg-php-pear] Bug#696468: phpunit-story: depends on php5-spl which does not appear to exist
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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org