From 3f2620cd1f4626910d7b80b1ddd9b4af0c3e24c1 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Sat, 7 Sep 2019 18:59:54 +0200
Subject: [PATCH] package.mask: Last rite sci-mathematics/kodkod{,i}
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Bug: https://bugs.gentoo.org/685802
Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 profiles/package.mask | 11 +++++++++++
 1 file changed, 11 insertions(+)

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.
-- 
2.26.2