Gentoo Archives: gentoo-commits

From: "Michał Górny" <mgorny@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Sat, 07 Sep 2019 17:11:28
Message-Id: 1567876268.3f2620cd1f4626910d7b80b1ddd9b4af0c3e24c1.mgorny@gentoo
1 commit: 3f2620cd1f4626910d7b80b1ddd9b4af0c3e24c1
2 Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
3 AuthorDate: Sat Sep 7 16:59:54 2019 +0000
4 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
5 CommitDate: Sat Sep 7 17:11:08 2019 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f2620cd
7
8 package.mask: Last rite sci-mathematics/kodkod{,i}
9
10 Bug: https://bugs.gentoo.org/685802
11 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
12
13 profiles/package.mask | 11 +++++++++++
14 1 file changed, 11 insertions(+)
15
16 diff --git a/profiles/package.mask b/profiles/package.mask
17 index 30cb84858d1..7a8358c4f9c 100644
18 --- a/profiles/package.mask
19 +++ b/profiles/package.mask
20 @@ -29,6 +29,17 @@
21
22 #--- END OF EXAMPLES ---
23
24 +# Michał Górny <mgorny@g.o> (2019-09-07)
25 +# sci-mathematics/kodkod: reported to fail to build. Last bumped
26 +# in 2012. Homepage is gone, and sources are nowhere to be found.
27 +#
28 +# sci-mathematics/kodkodi: the only revdep of the above. Last release
29 +# in 2012. No reverse dependencies.
30 +#
31 +# Removal in 30 days. Bug #685802.
32 +sci-mathematics/kodkod
33 +sci-mathematics/kodkodi
34 +
35 # Michał Górny <mgorny@g.o> (2019-09-07)
36 # Unmaintained. Not bumped since 2011.
37 # Removal in 30 days. Bug #693232.