Gentoo Archives: gentoo-commits

From: Alexis Ballier <aballier@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Sat, 04 Nov 2017 09:53:49
Message-Id: 1509788228.5f327b1587505ba720352b1c3c69733bb88341cd.aballier@gentoo
1 commit: 5f327b1587505ba720352b1c3c69733bb88341cd
2 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org>
3 AuthorDate: Tue Oct 31 12:59:09 2017 +0000
4 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org>
5 CommitDate: Sat Nov 4 09:37:08 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5f327b15
7
8 profiles/package.mask: mask ocaml 4.06 ppx_tools
9
10 profiles/package.mask | 1 +
11 1 file changed, 1 insertion(+)
12
13 diff --git a/profiles/package.mask b/profiles/package.mask
14 index 64ce9ef6644..5dc33b2304a 100644
15 --- a/profiles/package.mask
16 +++ b/profiles/package.mask
17 @@ -255,6 +255,7 @@ dev-perl/Apache-SessionX
18 >=dev-ml/camlp4-4.06
19 >=dev-ml/lablgtk-2.18.6
20 >=dev-ml/labltk-8.06.4
21 +>=dev-ml/ppx_tools-5.1.4.06.0
22
23 # Lars Wendler <polynomial-c@g.o> (12 Oct 2017)
24 # Dead upstream. No qt5 release. Use app-admin/keepassxc as drop-in