diff options
author | Matthias Maier <tamiko@gentoo.org> | 2018-09-03 20:09:23 -0500 |
---|---|---|
committer | Matthias Maier <tamiko@gentoo.org> | 2018-09-03 20:19:55 -0500 |
commit | f56d6fe72de4bc8231517f7ae33b9572a9c30780 (patch) | |
tree | 0c0db00cfdbe96287f7ce5b39815b09158c7d69e /profiles | |
parent | dev-lang/julia: add version 0.7 (diff) | |
download | gentoo-f56d6fe72de4bc8231517f7ae33b9572a9c30780.tar.gz gentoo-f56d6fe72de4bc8231517f7ae33b9572a9c30780.tar.bz2 gentoo-f56d6fe72de4bc8231517f7ae33b9572a9c30780.zip |
profiles: Update julia-0.7.0 and julia-1.0.0 masks
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 16cb39c63c37..355c89d52f2b 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -78,8 +78,9 @@ media-plugins/vdr-xvdr media-plugins/vdr-autosort # Matthias Maier <tamiko@gentoo.org> (1 Sep 2018) -# Mask 1.0.0 for the time being until a compatible LLVM version made it -# into the tree. +# Mask 0.7.0 and 1.0.0 for the time being until a compatible LLVM version +# made it into the tree, bug #665192 +~dev-lang/julia-0.7.0 ~dev-lang/julia-1.0.0 # Michał Górny <mgorny@gentoo.org> (31 Aug 2018) |