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 ce49145483d35a9423efa179c4adb3277d03ab0c..4a563cdbd484a99090d075858913a0337c595c62 100644 (file)
--- 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