From: Tupone Alfredo <tupone@gentoo.org>
Date: Fri, 5 Apr 2019 16:46:35 +0000 (+0200)
Subject: unmask dev-lang/polyml and sci-mathematics/isabelle
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=b95bc92602f3b0db2007710d136621b086e97604;p=gentoo.git

unmask dev-lang/polyml and sci-mathematics/isabelle

I'm trying to take care of them

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
---

diff --git a/profiles/package.mask b/profiles/package.mask
index ce49145483d3..4a563cdbd484 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -40,18 +40,6 @@ dev-go/go-resiliency
 # Removal in 30 days.  Bug #678866.
 games-roguelike/zangband
 
-# Michał Górny <mgorny@gentoo.org> (03 Apr 2019)
-# Does not build against libffi-3.3.  Also other unsolved build failures
-# (#619662, #606096).  Needs version bump for almost 2 years.
-# Removal in 30 days.  Bug #667476.
-dev-lang/polyml
-
-# Michał Górny <mgorny@gentoo.org> (03 Apr 2019)
-# Depends on dev-lang/polyml that no longer builds.  The current version
-# is two years old, and needs a bump for 1.5 year.
-# Removal in 30 days.  Bug #682406.
-sci-mathematics/isabelle
-
 # Michał Górny <mgorny@gentoo.org> (03 Apr 2019)
 # Unmaintained.  Multiple unresolved build failures (#630280, #638618,
 # #639648).  The current version was added in 2012, and haven't been