diff options
Diffstat (limited to 'profiles/package.mask')
| -rw-r--r-- | profiles/package.mask | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index a6f22b76848b..214e431e1046 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -32,6 +32,7 @@ # Alexis Ballier <aballier@gentoo.org> (03 Mar 2017) # Beta release, some packages fail to build. >=dev-lang/ocaml-4.05.0_beta2 +>=dev-ml/camlp4-4.05 # Hans de Graaff <graaff@gentoo.org> (03 Mar 2017) # Masked for removal in 30 days. |