commit:     b95bc92602f3b0db2007710d136621b086e97604
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Apr  5 16:46:35 2019 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Apr  5 16:49:20 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b95bc926

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

I'm trying to take care of them

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

 profiles/package.mask | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/profiles/package.mask b/profiles/package.mask
index ce49145483d..4a563cdbd48 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 <mgo...@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 <mgo...@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 <mgo...@gentoo.org> (03 Apr 2019)
 # Unmaintained.  Multiple unresolved build failures (#630280, #638618,
 # #639648).  The current version was added in 2012, and haven't been

Reply via email to