commit:     d00b6268c055b490cd656abdb48729ca94139cea
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Wed Apr  3 09:20:47 2019 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Wed Apr  3 09:22:46 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d00b6268

package.mask: Revert "Last rite dev-lang/polyml"

This needs cleaning sci-mathematics/isabelle first.

Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>

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

diff --git a/profiles/package.mask b/profiles/package.mask
index eb986008ff0..e1c1080261a 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -42,12 +42,6 @@ dev-libs/blitz
 # Removal in 30 days.  Bug #580358.
 dev-libs/handystats
 
-# Michał Górny <[email protected]> (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 <[email protected]> (03 Apr 2019)
 # Does not build against ffmpeg-4.  Last release in 2012.  Last upstream
 # commits in 2017.

Reply via email to