diff --git a/profiles/package.mask b/profiles/package.mask index c10dc6acc97ee..e3c4db91fa748 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -260,6 +260,7 @@ dev-vcs/statcvs >=dev-lang/ocaml-4.03_beta >=dev-ml/camlp4-4.03 >=dev-ml/ppx_tools-4.03 +>=dev-ml/labltk-8.06.1 # Patrice Clement (29 Feb 2016) # Duplicate of dev-libs/libedit.