package.mask: Last rite sci-mathematics/isabelle

Bug: https://bugs.gentoo.org/682406 Signed-off-by: Michał Górny <[email protected]>
johu · Apr 3, 2019 · 0a18a13 · 0a18a13
1 parent 75df5a8
commit 0a18a13
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/profiles/package.mask b/profiles/package.mask
@@ -29,6 +29,12 @@
 
 #--- END OF EXAMPLES ---
 
+# Michał Górny <[email protected]> (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.
+sci-mathematics/isabelle
+
 # Michał Górny <[email protected]> (03 Apr 2019)
 # Unmaintained.  Multiple unresolved build failures (#630280, #638618,
 # #639648).  The current version was added in 2012, and haven't been