Gentoo Archives: gentoo-commits

From: Matthias Maier <tamiko@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Tue, 04 Sep 2018 01:20:19
Message-Id: 1536023995.f56d6fe72de4bc8231517f7ae33b9572a9c30780.tamiko@gentoo
1 commit: f56d6fe72de4bc8231517f7ae33b9572a9c30780
2 Author: Matthias Maier <tamiko <AT> gentoo <DOT> org>
3 AuthorDate: Tue Sep 4 01:09:23 2018 +0000
4 Commit: Matthias Maier <tamiko <AT> gentoo <DOT> org>
5 CommitDate: Tue Sep 4 01:19:55 2018 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f56d6fe7
7
8 profiles: Update julia-0.7.0 and julia-1.0.0 masks
9
10 profiles/package.mask | 5 +++--
11 1 file changed, 3 insertions(+), 2 deletions(-)
12
13 diff --git a/profiles/package.mask b/profiles/package.mask
14 index 16cb39c63c3..355c89d52f2 100644
15 --- a/profiles/package.mask
16 +++ b/profiles/package.mask
17 @@ -78,8 +78,9 @@ media-plugins/vdr-xvdr
18 media-plugins/vdr-autosort
19
20 # Matthias Maier <tamiko@g.o> (1 Sep 2018)
21 -# Mask 1.0.0 for the time being until a compatible LLVM version made it
22 -# into the tree.
23 +# Mask 0.7.0 and 1.0.0 for the time being until a compatible LLVM version
24 +# made it into the tree, bug #665192
25 +~dev-lang/julia-0.7.0
26 ~dev-lang/julia-1.0.0
27
28 # Michał Górny <mgorny@g.o> (31 Aug 2018)