Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 559994 - Remove dev-java/jdom-jaxen
Summary: Remove dev-java/jdom-jaxen
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] Java (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Java team
URL:
Whiteboard: Pending removal: 2018-07-17
Keywords: PMASKED
Depends on: 559992
Blocks: 298715 378741
  Show dependency tree
 
Reported: 2015-09-09 01:43 UTC by William L. Thomson Jr.
Modified: 2018-07-28 12:15 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description William L. Thomson Jr. 2015-09-09 01:43:59 UTC
This is a legacy package before dev-java/jaxen was added to tree and/or became a project. JDom no longer develops nor ships a jaxen, so this package is no longer current or needed.
Comment 1 Larry the Git Cow gentoo-dev 2018-07-28 12:15:52 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=fe8f1aa8e615d6002bf400e3ce09eb24a3fbe789

commit fe8f1aa8e615d6002bf400e3ce09eb24a3fbe789
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: 2018-07-28 12:12:33 +0000
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: 2018-07-28 12:15:41 +0000

    dev-java/jdom-jaxen: Remove last-rited pkg
    
    Closes: https://bugs.gentoo.org/559994

 dev-java/jdom-jaxen/Manifest                 |  1 -
 dev-java/jdom-jaxen/jdom-jaxen-1.0-r1.ebuild | 51 ----------------------------
 dev-java/jdom-jaxen/metadata.xml             | 11 ------
 profiles/package.mask                        |  5 ---
 4 files changed, 68 deletions(-)

Additionally, it has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eb1fd1dbf5c543ac2d5836e413e21fa8656c371c

commit eb1fd1dbf5c543ac2d5836e413e21fa8656c371c
Author:     Michał Górny <mgorny@gentoo.org>
AuthorDate: 2018-07-28 12:12:05 +0000
Commit:     Michał Górny <mgorny@gentoo.org>
CommitDate: 2018-07-28 12:15:41 +0000

    dev-java/jdom: Remove old masked version
    
    Bug: https://bugs.gentoo.org/559994

 dev-java/jdom/Manifest           |  1 -
 dev-java/jdom/jdom-1.0-r4.ebuild | 54 ----------------------------------------
 profiles/package.mask            |  1 -
 3 files changed, 56 deletions(-)