commit: 6a50ebb55c5fa7be3dd487358effedc9ca7042ad Author: Michał Górny <mgorny <AT> gentoo <DOT> org> AuthorDate: Wed Apr 3 08:53:23 2019 +0000 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> CommitDate: Wed Apr 3 08:53:23 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=6a50ebb5
package.mask: Last rite dev-lang/polyml Bug: https://bugs.gentoo.org/667476 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org> profiles/package.mask | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index 53a45932417..1dfd253bfd8 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,12 @@ #--- END OF EXAMPLES --- +# 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) # Does not build against ffmpeg-4. Last release in 2012. Last upstream # commits in 2017.
