From: Alexis Ballier <aballier@gentoo.org>
Date: Wed, 16 Mar 2016 18:25:05 +0000 (+0100)
Subject: profiles/package.mask: update dev-ml/ppx_tools mask to match current versionning... 
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=788ae88ed97fde65285221c3d4fcb0795c167c32;p=gentoo.git

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

diff --git a/profiles/package.mask b/profiles/package.mask
index ae7cf973aeca..e475b983a9ba 100644
--- 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.