From: Michał Górny <mgorny@gentoo.org>
Date: Mon, 9 Sep 2019 06:30:41 +0000 (+0200)
Subject: profiles/base: Mask dev-ada/gps-2018[gnat_2017]
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=4ae34e356c9859a2e92ac4c08291c0095d202ac9;p=gentoo.git

profiles/base: Mask dev-ada/gps-2018[gnat_2017]

Closes: https://bugs.gentoo.org/687208
Signed-off-by: Michał Górny <mgorny@gentoo.org>
---

diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index 74ca2ddea0b2..83f2781aa51a 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -7,6 +7,10 @@
 # This file is only for generic masks. For arch-specific masks (i.e.
 # mask everywhere, unmask on arch/*) use arch/base.
 
+# Michał Górny <mgorny@gentoo.org> (2019-09-08)
+# LLVM 5 is being removed.
+~dev-ada/gps-2018 gnat_2017
+
 # Michał Górny <mgorny@gentoo.org> (2019-09-07)
 # media-libs/libnut is slated for removal.
 media-video/mplayer nut