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 f8b385e91cc1..a6f22b76848b 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -29,6 +29,10 @@ #--- END OF EXAMPLES --- +# Alexis Ballier <aballier@gentoo.org> (03 Mar 2017) +# Beta release, some packages fail to build. +>=dev-lang/ocaml-4.05.0_beta2 + # Hans de Graaff <graaff@gentoo.org> (03 Mar 2017) # Masked for removal in 30 days. # Bindings for old webkit versions that have open security |