* Arnaud Vandyck ([EMAIL PROTECTED]) [040423 12:40]: > 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?
Changing the name of the source package means that the maintianers has to file a bug report against ftp.d.o asking for removal of the previous source package. Cheers, Andi -- http://home.arcor.de/andreas-barth/ PGP 1024/89FB5CE5 DC F1 85 6D A6 45 9C 0F 3B BE F1 D0 C5 D1 D9 0C
