diff options
-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 d7b3ec3758cd..4b94338a5dd5 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -297,6 +297,7 @@ dev-vcs/statcvs >=dev-ml/camlp4-4.03 >=dev-ml/ppx_tools-4.03 >=dev-ml/labltk-8.06.1 +>=dev-ml/parmap-1.0_rc7-r1 # Patrice Clement <monsieurp@gentoo.org> (29 Feb 2016) # Duplicate of dev-libs/libedit. |