diff options
-rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 53a459324171..1dfd253bfd84 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,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) # Does not build against ffmpeg-4. Last release in 2012. Last upstream # commits in 2017. # Removal in 30 days. Bug #673826. |