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 30cb84858d1d609552c44d705b85b3fb34ce4e09..7a8358c4f9c27588bde21098a3242eec6ec92442 100644 (file)
--- 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.