diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-04-03 10:53:23 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-04-03 10:53:23 +0200 |
| commit | 6a50ebb55c5fa7be3dd487358effedc9ca7042ad (patch) | |
| tree | 4251b964d1f355cb2e47d45a9f0496c7cd918449 /profiles | |
| parent | package.mask: Last rite media-plugins/vdr-markad (diff) | |
| download | gentoo-6a50ebb55c5fa7be3dd487358effedc9ca7042ad.tar.gz gentoo-6a50ebb55c5fa7be3dd487358effedc9ca7042ad.tar.bz2 gentoo-6a50ebb55c5fa7be3dd487358effedc9ca7042ad.zip | |
package.mask: Last rite dev-lang/polyml
Bug: https://bugs.gentoo.org/667476
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
| -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. |