profiles/package.mask: update dev-ml/ppx_tools mask to match current versionning...

diff --git a/profiles/package.mask b/profiles/package.mask
index ae7cf973aeca77d3137b17a2729d4395c39f35db..e475b983a9ba559b838abc97cde7ac41d13a142c 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -165,7 +165,7 @@ www-apps/horde-turba
 # 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-0.99.3_p20160217
+>=dev-ml/ppx_tools-4.03
 
 # James Le Cuirot <chewi@gentoo.org> (29 Feb 2016)
 # Dead upstream and doesn't build with Java 8. Removal in 30 days.