Gentoo Archives: gentoo-commits

From: Alfredo Tupone <tupone@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Fri, 05 Apr 2019 16:49:36
Message-Id: 1554482960.b95bc92602f3b0db2007710d136621b086e97604.tupone@gentoo
1 commit: b95bc92602f3b0db2007710d136621b086e97604
2 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
3 AuthorDate: Fri Apr 5 16:46:35 2019 +0000
4 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
5 CommitDate: Fri Apr 5 16:49:20 2019 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b95bc926
7
8 unmask dev-lang/polyml and sci-mathematics/isabelle
9
10 I'm trying to take care of them
11
12 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
13
14 profiles/package.mask | 12 ------------
15 1 file changed, 12 deletions(-)
16
17 diff --git a/profiles/package.mask b/profiles/package.mask
18 index ce49145483d..4a563cdbd48 100644
19 --- a/profiles/package.mask
20 +++ b/profiles/package.mask
21 @@ -40,18 +40,6 @@ dev-go/go-resiliency
22 # Removal in 30 days. Bug #678866.
23 games-roguelike/zangband
24
25 -# Michał Górny <mgorny@g.o> (03 Apr 2019)
26 -# Does not build against libffi-3.3. Also other unsolved build failures
27 -# (#619662, #606096). Needs version bump for almost 2 years.
28 -# Removal in 30 days. Bug #667476.
29 -dev-lang/polyml
30 -
31 -# Michał Górny <mgorny@g.o> (03 Apr 2019)
32 -# Depends on dev-lang/polyml that no longer builds. The current version
33 -# is two years old, and needs a bump for 1.5 year.
34 -# Removal in 30 days. Bug #682406.
35 -sci-mathematics/isabelle
36 -
37 # Michał Górny <mgorny@g.o> (03 Apr 2019)
38 # Unmaintained. Multiple unresolved build failures (#630280, #638618,
39 # #639648). The current version was added in 2012, and haven't been