Bug 787434

Summary:	media-sound/protux: pending removal
Product:	Gentoo Linux	Reporter:	Volkmar W. Pogatzki <gentoo>
Component:	Current packages	Assignee:	Java team <java>
Status:	RESOLVED FIXED
Severity:	normal	CC:	fordfrog
Priority:	Normal	Keywords:	PMASKED
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	697014
Deadline:	2021-06-04

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(-)