diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-09-09 08:30:41 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-09-09 21:02:25 +0200 |
| commit | 4ae34e356c9859a2e92ac4c08291c0095d202ac9 (patch) | |
| tree | e283509c3f408aabb96043a084c3a77e95465825 /profiles/base | |
| parent | sys-devel/byfl: Remove 1.6 (for LLVM 5) (diff) | |
| download | gentoo-4ae34e356c9859a2e92ac4c08291c0095d202ac9.tar.gz gentoo-4ae34e356c9859a2e92ac4c08291c0095d202ac9.tar.bz2 gentoo-4ae34e356c9859a2e92ac4c08291c0095d202ac9.zip | |
profiles/base: Mask dev-ada/gps-2018[gnat_2017]
Closes: https://bugs.gentoo.org/687208
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles/base')
| -rw-r--r-- | profiles/base/package.use.mask | 4 |
1 files changed, 4 insertions, 0 deletions
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 |