Gentoo Archives: gentoo-commits

From: "Michał Górny" <mgorny@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Fri, 29 Mar 2019 10:51:39
Message-Id: 1553856681.eff8a60bbfb4a27461fea174897682c519df1ef9.mgorny@gentoo
1 commit: eff8a60bbfb4a27461fea174897682c519df1ef9
2 Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
3 AuthorDate: Fri Mar 29 10:51:21 2019 +0000
4 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
5 CommitDate: Fri Mar 29 10:51:21 2019 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=eff8a60b
7
8 package.mask: Last rite media-sound/playmidi
9
10 Bug: https://bugs.gentoo.org/617184
11 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
12
13 profiles/package.mask | 7 +++++++
14 1 file changed, 7 insertions(+)
15
16 diff --git a/profiles/package.mask b/profiles/package.mask
17 index 48dbcc57212..0e76b6312e7 100644
18 --- a/profiles/package.mask
19 +++ b/profiles/package.mask
20 @@ -29,6 +29,13 @@
21
22 #--- END OF EXAMPLES ---
23
24 +# Michał Górny <mgorny@g.o> (29 Mar 2019)
25 +# Unmaintained. Fails to build with ncurses[tinfo]; fixing it reveals
26 +# further build failures. Last release in 2001. Upstream has shortly
27 +# revived coding in 2015 but did not finish the update.
28 +# Removal in 30 days. Bug #617184.
29 +media-sound/playmidi
30 +
31 # Michał Górny <mgorny@g.o> (29 Mar 2019)
32 # Unmaintained. The current version was added in 2008, and a bump
33 # was requested in 2010. Since then, upstream has disappeared,