From 57d6b1f98d7d14ce1a9c18469d800ef2ae5d2b7a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= Date: Wed, 22 Feb 2017 10:56:45 +0100 Subject: [PATCH] package.mask: Mask dev-ada/* for removal, #593398 --- profiles/package.mask | 7 +++++++ 1 file changed, 7 insertions(+) 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 (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 (19 Feb 2017) # Doesn't work. Dead upstream. Unmaintained. # Masked for removal on 30 days. Bug #609754. -- 2.26.2