From: Michał Górny <mgorny@gentoo.org>
Date: Sat, 7 Sep 2019 16:59:54 +0000 (+0200)
Subject: package.mask: Last rite sci-mathematics/kodkod{,i}
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=3f2620cd1f4626910d7b80b1ddd9b4af0c3e24c1;p=gentoo.git

package.mask: Last rite sci-mathematics/kodkod{,i}

Bug: https://bugs.gentoo.org/685802
Signed-off-by: Michał Górny <mgorny@gentoo.org>
---

diff --git a/profiles/package.mask b/profiles/package.mask
index 30cb84858d1d..7a8358c4f9c2 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -29,6 +29,17 @@
 
 #--- END OF EXAMPLES ---
 
+# Michał Górny <mgorny@gentoo.org> (2019-09-07)
+# sci-mathematics/kodkod: reported to fail to build.  Last bumped
+# in 2012.  Homepage is gone, and sources are nowhere to be found.
+#
+# sci-mathematics/kodkodi: the only revdep of the above.  Last release
+# in 2012.  No reverse dependencies.
+#
+# Removal in 30 days.  Bug #685802.
+sci-mathematics/kodkod
+sci-mathematics/kodkodi
+
 # Michał Górny <mgorny@gentoo.org> (2019-09-07)
 # Unmaintained.  Not bumped since 2011.
 # Removal in 30 days.  Bug #693232.