From: Michał Górny <mgorny@gentoo.org>
Date: Wed, 22 Feb 2017 09:56:45 +0000 (+0100)
Subject: package.mask: Mask dev-ada/* for removal, #593398
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=57d6b1f98d7d14ce1a9c18469d800ef2ae5d2b7a;p=gentoo.git

package.mask: Mask dev-ada/* for removal, #593398
---

diff --git a/profiles/package.mask b/profiles/package.mask
index 4a3592668c63..604f854d06cd 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,13 @@
 
 #--- END OF EXAMPLES ---
 
+# Michał Górny <mgorny@gentoo.org> (22 Feb 2017)
+# The Ada subsystem in Gentoo is not maintained for a long time.
+# Therefore, it is being reduced to the minimal set of packages needed.
+# Removal in 30 days. Bug #593398.
+dev-ada/asis-gcc
+dev-ada/charles
+
 # Michael Palimaka <kensington@gentoo.org> (19 Feb 2017)
 # Doesn't work. Dead upstream. Unmaintained.
 # Masked for removal on 30 days. Bug #609754.