Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 787434 - media-sound/protux: pending removal
Summary: media-sound/protux: pending removal
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Deadline: 2021-06-04
Assignee: Java team
URL:
Whiteboard:
Keywords: PMASKED
Depends on:
Blocks: jdk11
  Show dependency tree
 
Reported: 2021-05-01 15:31 UTC by Volkmar W. Pogatzki
Modified: 2021-06-06 17:22 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 Volkmar W. Pogatzki 2021-05-01 15:31:14 UTC
nothing depends on it
min java 1.5
has launcher
latest upstream news 2009
Comment 1 Miroslav Šulc gentoo-dev 2021-05-05 07:35:31 UTC
will last-rite it.
Comment 2 Larry the Git Cow gentoo-dev 2021-06-06 17:22:47 UTC
The bug has been closed via the following commit(s):

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

commit 753981801d13e3db628f358612b7e4937655541d
Author:     Jakov Smolic <jakov.smolic@sartura.hr>
AuthorDate: 2021-06-06 17:21:36 +0000
Commit:     David Seifert <soap@gentoo.org>
CommitDate: 2021-06-06 17:21:36 +0000

    media-sound/protux: Remove last-rited pkg
    
    Closes: https://bugs.gentoo.org/787434
    Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr>
    Signed-off-by: David Seifert <soap@gentoo.org>

 media-sound/protux/Manifest               |  1 -
 media-sound/protux/metadata.xml           | 15 ----------
 media-sound/protux/protux-0.50.100.ebuild | 46 -------------------------------
 profiles/package.mask                     |  6 ----
 4 files changed, 68 deletions(-)