package.mask: Last rite dev-lang/polyml

Bug: https://bugs.gentoo.org/667476 Signed-off-by: Michał Górny <[email protected]>
johu · Apr 3, 2019 · 6a50ebb · 6a50ebb
1 parent 3fdf085
commit 6a50ebb
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/profiles/package.mask b/profiles/package.mask
@@ -29,6 +29,12 @@
 
 #--- END OF EXAMPLES ---
 
+# 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.