commit: 3f2620cd1f4626910d7b80b1ddd9b4af0c3e24c1
Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Sat Sep 7 16:59:54 2019 +0000
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Sat Sep 7 17:11:08 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f2620cd
package.mask: Last rite sci-mathematics/kodkod{,i}
Bug: https://bugs.gentoo.org/685802
Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
profiles/package.mask | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/profiles/package.mask b/profiles/package.mask
index 30cb84858d1..7a8358c4f9c 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -29,6 +29,17 @@
#--- END OF EXAMPLES ---
+# Michał Górny <[email protected]> (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 <[email protected]> (2019-09-07)
# Unmaintained. Not bumped since 2011.
# Removal in 30 days. Bug #693232.
