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 74ca2ddea0b2d06b1a4d27991e5c84f8b1be479e..83f2781aa51a5f16f93ca15da20cbb7e3a737762 100644 (file)
--- 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