From: Michał Górny <mgorny@gentoo.org>
Date: Wed, 3 Apr 2019 08:53:23 +0000 (+0200)
Subject: package.mask: Last rite dev-lang/polyml
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=a97ee50d35b1680925f0c0363de84937d373e219;p=gentoo.git

package.mask: Last rite dev-lang/polyml

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

diff --git a/profiles/package.mask b/profiles/package.mask
index bf7bf32edcb1..3031dfc4e2b5 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -29,6 +29,12 @@
 
 #--- END OF EXAMPLES ---
 
+# 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.