summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2019-04-03 10:53:23 +0200
committerMichał Górny <mgorny@gentoo.org>2019-04-03 11:31:47 +0200
commita97ee50d35b1680925f0c0363de84937d373e219 (patch)
tree4f36c81a106472eda484335a9d1b2439bf11ca9d /profiles
parentpackage.mask: Last rite sci-mathematics/isabelle (diff)
downloadgentoo-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.mask6
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.