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 11:31:47 +0200 |
commit | a97ee50d35b1680925f0c0363de84937d373e219 (patch) | |
tree | 4f36c81a106472eda484335a9d1b2439bf11ca9d /profiles | |
parent | package.mask: Last rite sci-mathematics/isabelle (diff) | |
download | gentoo-a97ee50d35b1680925f0c0363de84937d373e219.tar.gz gentoo-a97ee50d35b1680925f0c0363de84937d373e219.tar.bz2 gentoo-a97ee50d35b1680925f0c0363de84937d373e219.zip |
package.mask: Last rite dev-lang/polyml
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 bf7bf32edcb1..3031dfc4e2b5 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) # Depends on dev-lang/polyml that no longer builds. The current version # is two years old, and needs a bump for 1.5 year. # Removal in 30 days. Bug #682406. |