diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 7a91b50de91c..125c4d273ff2 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -291,7 +291,7 @@ dev-vcs/statcvs # Breaks some of its rev deps, still in beta stage >=dev-lang/ocaml-4.03_beta >=dev-ml/camlp4-4.03 ->=dev-ml/ppx_tools-4.03 +>=dev-ml/ppx_tools-5.0.4.03 >=dev-ml/labltk-8.06.1 >=dev-ml/parmap-1.0_rc7-r1 |