Bug#245472: ftp.debian.org: [REMOVE] jdom source package

[Arnaud Vandyck <avdyk@debian.org>]

Package: ftp.debian.org
Severity: normal
thanks

Please remove jdom sources because it has been renamed
libjdom-java. Both provide libjdom-java but the new package does not
provides libjdom-java-doc. This package can also be removed from the
archive.

Testing and Unstable are affected.

Many thanks,


Forwarded message:

To: debian-qa <debian-qa@lists.debian.org>
Cc: James Troup and others <james@nocrew.org>,, control@bugs.debian.org
	Takashi Okamoto <tora@debian.org>
Subject: jdom source package no more maintained
From: Arnaud Vandyck <avdyk@debian.org>
Date: Fri, 23 Apr 2004 12:38:40 +0200
Message-ID: <[🔎] 87u0zbq8r3.fsf@oz.fapse.ulg.ac.be>


Hi,

I think there is a problem with jdom source package.

http://packages.debian.org/cgi-bin/search_packages.pl?keywords=jdom&searchon=sourcenames&subword=1&version=all&release=all

Source package jdom

    * stable (libs): 0.7b.20020216-4
      Binary packages: libjdom-java, libjdom-java-doc
    * testing (libs): 0.9b-1
      Binary packages: libjdom-java
    * unstable (libs): 0.9b-1
      Binary packages: libjdom-java

Source package libjdom-java

    * testing (libs): 0.99.b10-1
      Binary packages: libjdom-java
    * unstable (libs): 0.99.b10-1
      Binary packages: libjdom-java

Takashi changed the name of the source package but jdom still exists and
provides a libjdom-java package.

Shouldn't jdom removed from the archives?

Cheers,

-- 
Arnaud Vandyck