Debian Bug report logs - #871826
php7.1: Please remove unused libxmltok1-dev from Build-Depends

version graph

Package: src:php7.1; Maintainer for src:php7.1 is (unknown);

Reported by: Guillem Jover <guillem@debian.org>

Date: Sat, 12 Aug 2017 00:33:01 UTC

Severity: normal

Tags: patch

Found in version php7.1/7.1.8-1

Fixed in version 7.1.20-1+rm

Done: Debian FTP Masters <ftpmaster@ftp-master.debian.org>

Bug is archived. No further changes may be made.

Toggle useless messages

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to debian-bugs-dist@lists.debian.org, Debian PHP Maintainers <pkg-php-maint@lists.alioth.debian.org>:
Bug#871826; Package src:php7.1. (Sat, 12 Aug 2017 00:33:04 GMT) (full text, mbox, link).


Acknowledgement sent to Guillem Jover <guillem@debian.org>:
New Bug report received and forwarded. Copy sent to Debian PHP Maintainers <pkg-php-maint@lists.alioth.debian.org>. (Sat, 12 Aug 2017 00:33:04 GMT) (full text, mbox, link).


Message #5 received at submit@bugs.debian.org (full text, mbox, reply):

From: Guillem Jover <guillem@debian.org>
To: submit@bugs.debian.org
Subject: php7.1: Please remove unused libxmltok1-dev from Build-Depends
Date: Sat, 12 Aug 2017 02:28:32 +0200
[Message part 1 (text/plain, inline)]
Source: php7.1
Source-Version: 7.1.8-1
Tags: patch
Control: block 691755 by -1

Hi!

While checking what would be needed to remove the old libxmltok1-dev
(expat 1.x), noticed that this package Build-Depends on it, but does
not seem to use it.

Attached an untested patch, although a git grep seems to tell it would
be correct.

Thanks,
Guillem
[0001-Remove-unused-libxmltok1-dev-Build-Depends.patch (text/x-diff, attachment)]

Added indication that bug 871826 blocks 691755 Request was from Guillem Jover <guillem@debian.org> to submit@bugs.debian.org. (Sat, 12 Aug 2017 00:33:05 GMT) (full text, mbox, link).


Reply sent to Debian FTP Masters <ftpmaster@ftp-master.debian.org>:
You have taken responsibility. (Mon, 08 Oct 2018 19:00:51 GMT) (full text, mbox, link).


Notification sent to Guillem Jover <guillem@debian.org>:
Bug acknowledged by developer. (Mon, 08 Oct 2018 19:00:51 GMT) (full text, mbox, link).


Message #12 received at 871826-done@bugs.debian.org (full text, mbox, reply):

From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
To: 851264-done@bugs.debian.org,864129-done@bugs.debian.org,864989-done@bugs.debian.org,865136-done@bugs.debian.org,870746-done@bugs.debian.org,871826-done@bugs.debian.org,879806-done@bugs.debian.org,881539-done@bugs.debian.org,892433-done@bugs.debian.org,910067-done@bugs.debian.org,
Cc: php7.1@packages.debian.org
Subject: Bug#910072: Removed package(s) from unstable
Date: Mon, 08 Oct 2018 18:57:16 +0000
Version: 7.1.20-1+rm

Dear submitter,

as the package php7.1 has just been removed from the Debian archive
unstable we hereby close the associated bug reports.  We are sorry
that we couldn't deal with your issue properly.

For details on the removal, please see https://bugs.debian.org/910072

The version of this package that was in Debian prior to this removal
can still be found using http://snapshot.debian.org/.

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster@ftp-master.debian.org.

Debian distribution maintenance software
pp.
Ansgar Burchardt (the ftpmaster behind the curtain)



Bug archived. Request was from Debbugs Internal Request <owner@bugs.debian.org> to internal_control@bugs.debian.org. (Tue, 06 Nov 2018 07:30:12 GMT) (full text, mbox, link).


Send a report that this bug log contains spam.


Debian bug tracking system administrator <owner@bugs.debian.org>. Last modified: Sun Jul 2 01:51:06 2023; Machine Name: buxtehude

Debian Bug tracking system

Debbugs is free software and licensed under the terms of the GNU Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.