commit:     38d88dedcc0c09665bc05df738d00b0251aa98b8
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Mon Jun  5 19:39:31 2017 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Mon Jun  5 21:42:38 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=38d88ded

package.mask: Last rite dev-libs/libjit, #594384

 profiles/package.mask | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/profiles/package.mask b/profiles/package.mask
index 7c1fd3fbef3..d5bf384e64b 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -31,6 +31,12 @@
 
 # Michał Górny <mgo...@gentoo.org> (05 Jun 2017)
 # (on behalf of Treecleaner project)
+# Dead upstream. No reverse dependencies. Fails to build.
+# Removal in 30 days. Bug #594384.
+dev-libs/libjit
+
+# Michał Górny <mgo...@gentoo.org> (05 Jun 2017)
+# (on behalf of Treecleaner project)
 # Unmaintained upstream. Fails to build.
 # Removal in 30 days. Bug #513416.
 media-sound/pianobooster

Reply via email to