diff options
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index ab3107b2e6cd..cc5a193db395 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,10 @@ #--- END OF EXAMPLES --- +# Alexis Ballier <aballier@gentoo.org> (01 Mar 2016) +# Breaks some of its rev deps, still in beta stage +>=dev-lang/ocaml-4.03_beta + # Lars Wendler <polynomial-c@gentoo.org> (01 Mar 2016) # Arrow keys don't work (bug #576086). =sys-apps/less-482 |