summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2017-10-31 13:59:09 +0100
committerAlexis Ballier <aballier@gentoo.org>2017-11-04 10:37:08 +0100
commit5f327b1587505ba720352b1c3c69733bb88341cd (patch)
tree009e6ad284996bf5efb15c97fa2e0ab357da45a4 /profiles
parentdev-ml/lablgtk: allow ocaml 4.06 beta too (diff)
downloadgentoo-5f327b1587505ba720352b1c3c69733bb88341cd.tar.gz
gentoo-5f327b1587505ba720352b1c3c69733bb88341cd.tar.bz2
gentoo-5f327b1587505ba720352b1c3c69733bb88341cd.zip
profiles/package.mask: mask ocaml 4.06 ppx_tools
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask1
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 64ce9ef6644a..5dc33b2304a8 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -255,6 +255,7 @@ dev-perl/Apache-SessionX
>=dev-ml/camlp4-4.06
>=dev-ml/lablgtk-2.18.6
>=dev-ml/labltk-8.06.4
+>=dev-ml/ppx_tools-5.1.4.06.0
# Lars Wendler <polynomial-c@gentoo.org> (12 Oct 2017)
# Dead upstream. No qt5 release. Use app-admin/keepassxc as drop-in