From 0a18a1331e8647403c316aa3234023c610da1057 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Wed, 3 Apr 2019 11:29:27 +0200
Subject: [PATCH] package.mask: Last rite sci-mathematics/isabelle
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Bug: https://bugs.gentoo.org/682406
Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 profiles/package.mask | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/profiles/package.mask b/profiles/package.mask
index e1c1080261af..bf7bf32edcb1 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -29,6 +29,12 @@
 
 #--- END OF EXAMPLES ---
 
+# 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.
+sci-mathematics/isabelle
+
 # Michał Górny <mgorny@gentoo.org> (03 Apr 2019)
 # Unmaintained.  Multiple unresolved build failures (#630280, #638618,
 # #639648).  The current version was added in 2012, and haven't been
-- 
2.26.2