Your message dated Mon, 07 Jan 2013 19:47:29 +0000
with message-id <[email protected]>
and subject line Bug#696743: fixed in pkg-php-tools 1.2
has caused the Debian Bug report #696743,
regarding pkg-php-tools: generates broken dependency on php5-spl
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
696743: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=696743
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: phpunit-story
Version: 1.0.0-2
Severity: serious
Hi,
phpunit-story depends on php5-spl, but the latter does not appear to
be available. This makes phpunit-story uninstallable. Please do a
minimal fix for this problem[1], so the fix for #694361 can migrate to
testing.
Thank you in advance,
~Niels
[1] As defined by http://release.debian.org/wheezy/freeze_policy.html
--- End Message ---
--- Begin Message ---
Source: pkg-php-tools
Source-Version: 1.2
We believe that the bug you reported is fixed in the latest version of
pkg-php-tools, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Mathieu Parent <[email protected]> (supplier of updated pkg-php-tools package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 07 Jan 2013 20:28:20 +0100
Source: pkg-php-tools
Binary: pkg-php-tools
Architecture: source all
Version: 1.2
Distribution: unstable
Urgency: low
Maintainer: Debian PHP PEAR Maintainers <[email protected]>
Changed-By: Mathieu Parent <[email protected]>
Description:
pkg-php-tools - various packaging tools and scripts for PHP PEAR packages
Closes: 696743
Changes:
pkg-php-tools (1.2) unstable; urgency=low
.
* Compare to builtin extensions case-incensitively and don't "generate broken
dependency on php5-spl" (Closes: #696743)
* internal changes:
- rename _pear("install", ...) to _pear_install(...)
Checksums-Sha1:
c2f8b695e307175fa0bcf24a90801f839866e148 1024 pkg-php-tools_1.2.dsc
29e74bb3bc209ff17816a0436eb63c7eeb4054b8 10538 pkg-php-tools_1.2.tar.gz
74591d0785fbcf19647035be64376ae939adfd00 14004 pkg-php-tools_1.2_all.deb
Checksums-Sha256:
c593e99e539c6affee9cb2caa4017beb9c53a12be14e02b8f5eda1f10a0a7242 1024
pkg-php-tools_1.2.dsc
040440f866278f9b8913a84c40c0ad771a12221fde911d757a79c77b550f64ea 10538
pkg-php-tools_1.2.tar.gz
1ad6e8f6d0a37411023bc366125d481006c7d52b3ebfccb87e804a7b3a459f79 14004
pkg-php-tools_1.2_all.deb
Files:
a3b85dad4d0db6d7735ab44c923909c0 1024 php extra pkg-php-tools_1.2.dsc
161fc43b8c9d522836c448025a46e896 10538 php extra pkg-php-tools_1.2.tar.gz
f2b94e0aa09300df093e9da4c579c044 14004 php extra pkg-php-tools_1.2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlDrIjcACgkQOW2jYf5fHX9vnwCeNS9VHobCgdZmtg764/pW+Day
HhgAnRktNEVn7KN31OPD9OaF4NMXQgRC
=YJOK
-----END PGP SIGNATURE-----
--- End Message ---
